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

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

睡觉也在卷！伯克利Letta新作「睡眠时计算」让推理效率飙升

Letta和UC伯克利研究者提出「睡眠时计算」技术，能让LLM在空闲时间提前思考以提升推理效率，降低推理成本，在多数据集实验中展现优势，在软件工程任务中也有应用。

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

Claude王座失守！OpenAI一夜反超，神秘GPT‑6 Sol偷跑

本文报道AI大模型领域最新战局，OpenAI在OpenRouter平台的开发者Token消耗付费流水，首次超越Anthropic Claude，终结了Claude两年半的统治，同时神秘GPT-6 Sol偷跑曝光，双方开启终极对决。

阿里发布新版 Qoder：做每个人的编程智能体工作台，一手实测！

本文是对阿里新版Qoder的一手实测，新版Qoder从面向专业开发者的AI IDE，转型为面向全岗位的编程智能体工作台，支持自定义模型，探讨了AI Agent下半场的竞争方向。

实测GPT-6：AGI真来了！OpenAI缔造者都摸不到天花板

Astra发布，OpenAI联合创始人宣布AGI时代降临。虽官网文章曾“404”，但GPT - 6 Astra已问世。它在多项测试近乎满分，还在内测中展现强大能力，如PCB自动布局布线等，也突破诸多数学难题。

李飞飞发布Atlas，世界模型进入新时代

李飞飞创业公司 World Labs 发布新一代世界模型 Atlas，它是全模态模型，能处理四模态数据。其核心为空间上下文设计，评测成绩不错，应用场景丰富，公司发展节奏密集，产品路径有转向。

DeepSeek涨价，OpenAI降价，Agent改写了大模型价格战

近期，DeepSeek上调API价格，V4 Pro等型号涨幅明显；而OpenAI的GPT - 5.6 Luna API价格降80%，Terra降20%。这背后是大模型价格竞争方向转变，受竞争、广告、效率及Agent使用方式等因素影响。

独立自主梦太多，是国产化的最大阻碍

我国虽建立完整工业体系，但 IT 领域差距大。国产基础组件百花齐放，给上层应用适配带来灾难。美国在基础能力上近乎垄断，大投入保持领先。国内小投入难出好产品，应整合市场。

揭示扩散语言模型扩展定律，人大高瓴团队与蚂蚁集团发布LLaDA MoE v2

中国人民大学高瓴人工智能学院与蚂蚁集团合作，首次系统刻画混合专家扩散语言模型扩展定律，据此训练LLaDA MoE v2，实现扩展效率与智能双重突破，将推动其迈向规模化时代。