“光靠人盯不住了”！拆解上万张晶圆，这家公司靠 AI 将芯片良率提升数个百分点

喆塔科技创始人赵文政看好半导体软件领域引入AI技术。喆塔将DeepSeek接入自研模型，应用机器学习算法提升半导体企业良率，构建智能生态系统，产品获客户认可，未来将加大研发投入。

4月30日凌晨，Meta举行首届AI开发者大会LlamaCon，推出Meta AI聊天机器人应用程序与ChatGPT竞争，发布Llama API。Meta试图强化开源模型生态系统以限制OpenAI发展，扎克伯格与微软CEO还探讨了开源闭源模型生态等内容。

开源模型两个月内杀死比赛

过去60天，Vercel AI Gateway调用数据显示，开源模型Token调用份额从28%涨至62%，反超闭源模型。英伟达60亿美元入局扶持，闭源虽推新降价仍失领先，开源走向大规模应用。

The Batch: 969 | 谷歌的机器人模型有了腿

谷歌发布 Gemini Robotics 2（GR2），能将相机图像和文字指令转为机器人关节控制命令，可同时控制人形机器人腿、躯干、手臂和手部，简化模型训练和设计，不过谷歌未公布其基础模型等信息。

冷战核废墟变8吉瓦AI超级工厂！黄仁勋押15亿，OpenAI独霸20年

英伟达、OpenAI和软银要将美国俄亥俄州冷战核废墟改造成全球最大AI超级工厂，终极电力规划达8吉瓦。黄仁勋宣布注资、担保，OpenAI签长约，孙正义改造电网，这或成稳赚买卖。

电脑操作、技能、连接器、工作伙伴：豆包的牌来了

最近字节有两个豆包相关新闻，一是在训练超大模型，二是反对模型蒸馏。豆包上线大批 Agent 相关工作任务能力，覆盖办公场景，如电脑操作、技能商店等，过程流畅且可观察，还更新移动端，实现远程控制。

我去，终于找到原因啦，58.4k Star MemPalace，不敢相信！！！！

AI编程中，上下文压缩后易丢失关键信息。MemPalace将对话和资料按原文存本地，按项目和主题精准找回。本文讲清其存储与检索原理、使用场景、注意事项及安装建议。

终于！世界模型进入“有声时代”：24FPS画面+48kHz立体声实时生成

过去两年视频生成模型不断提升画面参数，但传统模型生成的视频固定，用户无法干预。而世界模型可跟随操作实时渲染、动态生成世界。目前Noiz AI联合多机构发布实时可交互音视频世界模型HelixWorld 1.0，后续还将开源。

刚刚，中国AI交卷！40年难题56分钟破局，AI不再「学习」

文章介绍AI科研应用新趋势，从学习已知知识转向搜索未知解。以百度‘伐谋’为例，它助力南京林业大学检测松材线虫病，还在多学科和产业场景中展现价值，百度还启动科学家计划推动其发展。

Deepseek V4 Pro发布，除了多模态，满足我对模型的所有想象

DeepSeek官方文档更新模型日期，意味着DeepSeek V4 Pro正式版来临，已在官方API提供。它采用MoE设计，接口能力强，Agent能力得到大幅强化，评测成绩亮眼，价格实惠且有API兼容性，不过有并发限制，近期还将上调价格。