陶哲轩：几周前，AI突破数学形式化临界点

AI与人类协作的规模与效率已突破数学形式化的关键阈值，使得原本需耗时数月的证明工作可在数周甚至数小时内完成。

华为和 Google 都在抢，手机小组件，为什么是AI必争之地？

手机小组件正成为AI时代人机交互的新战场，华为、Google等巨头通过vibe coding让用户用自然语言自定义桌面，意图重塑移动生态入口。

Prompt已死，Loop Engineering成了硅谷AI圈新顶流

提示词工程已死，硅谷AI圈正在从手动写Prompt转向设计自主循环系统——Loop Engineering，工程师的工作不再是“提示Agent”，而是“设计让Agent提示Agent的Loop”。

顶刊生物实验难复现？统一操作话术来了，编译通过率98.6%

顶级期刊生物实验复现率长期低于50%，近期科研团队通过标准化AI操作话术与编译工具，将实验方案的可复现编译通过率提升至98.6%。

“全球大模型第一股”智谱盘中大涨超40%，市值突破1万亿港元

6月22日早盘，“全球大模型第一股”智谱（02513.HK）盘中大涨超40%，最高报2980港元，总市值首次突破一万亿港元，成为港股首只股价站稳2000港元以上的个股。

阿里巴巴发布视频生成模型 HappyHorse 1.1：更强动态表现力、更高生成一致性、更优视觉质感

全球首款原生音视频联合生成的开源视频大模型HappyHorse迎来重大升级，新版本1.1在动态表现、生成一致性和视觉质感上实现全面突破，进一步巩固其AI视频生成赛道的领跑地位。

接连两位大咖出走，谷歌到底出了什么 BUG？

两位AI大咖接连出走，暴露出谷歌在模型迭代、产品整合、组织协同上的系统性“漏洞”。

接连两位大咖出走，谷歌到底出了什么 BUG？

接连两位AI大咖出走，产品线混乱且组织割裂，谷歌在Agent时代暴露出深层的“系统Bug”。

Claude下一代神级模型秘密出炉，Sonnet-5被曝下周上线

Claude下一代神级模型秘密出炉，Sonnet-5被曝下周上线，性能超越Opus 4.5且价格减半，引发AI圈地震。

微软也烧不起 Token ，该 DeepSeek 上位了

微软也烧不起Token，该DeepSeek上位了

斯坦福报告：中国自主培养，顶尖AI人才崛起

斯坦福最新白皮书追踪DeepSeek 356名研究者发现，超半数顶尖AI人才职业生涯完全扎根国内，中国已建成独立运转的本土人才供应链，打破“核心研发依赖海外”的固有印象。

灵动岛，正在成为 AI 时代的新门面

从遮丑补丁到AI助手争夺的黄金入口，灵动岛正成为人机交互的新门面。

芯片设备“铁律”，正在被打破

摩尔定律、贸易自由、硬件定价等芯片行业旧有“铁律”正在被技术封锁、AI算力需求和新材料突破彻底颠覆。

Take-Two 前 AI 负责人：我担心生成式 AI 会败坏整个 AI 领域的声誉

前Take-Two AI主管警告称，生成式AI的粗制滥造可能摧毁整个AI行业来之不易的信任基础。

英伟达开始搞机器人自己研究机器人那套了…

英伟达从提供机器人“大脑”到自建自动科研实验室，正在重塑人形机器人研发范式。

陶哲轩12年前的预言，现在AI帮他兑现了

陶哲轩12年前预言“未来可用形式化语言写论文”被视为天方夜谭，如今他亲证Lean4与Copilot揪出论文错误，并预言AI将在10年内独立提出数学猜想甚至获得菲尔兹奖。

诺奖得主、AlphaFold之父投奔Anthropic！谷歌48小时连跑俩大将

诺奖得主、AlphaFold之父John Jumper在谷歌DeepMind工作近九年后，正式宣布加入竞争对手Anthropic；而就在48小时前，Transformer核心作者Noam Shazeer也离职投奔OpenAI，谷歌AI部门遭遇重大人才流失。

接连两位大咖出走，谷歌到底出了什么BUG？

近日谷歌接连两位AI大咖出走，引发业界对该公司AI战略和内部动荡的广泛猜测。

马斯克 SpaceXAI 为微软 Word / Excel / PowerPoint 推 Grok 扩展，AI 提升生产力

马斯克预告xAI将为微软Office推出Grok扩展，宣称借助AI大幅提升Word、Excel、PowerPoint使用效率。

他刚融了27亿，李飞飞也投钱了

皮特·弗洛伦斯创立的具身智能公司Generalist AI刚完成4亿美元（约27亿人民币）融资，估值20亿美元，同时李飞飞的World Labs也新获10亿美元融资、估值飙至50亿美元，两位AI巨头正以截然不同的路线抢夺智能机器人赛道的入场券。

年内累跌27%后评级上调，最神秘大数据公司Palantir被高估了吗？

年内累跌27%后多家投行上调评级，但Palantir的高估值与增长可持续性仍存争议。

AI崛起 先倒霉的是印度？

人工智能浪潮正在颠覆印度依赖30年的“人力套利”模式，以IT外包为支柱的印度经济面临系统性风险，股市已蒸发近万亿美元，外资加速逃离。

Edge AI Daily 早报（6月20日）

大型科技公司资本支出暴涨62%至77%，Meta上线AI Mode用35.6亿日活社交数据练兵，Anthropic强制实名认证，Transformer核心作者Shazeer二度出走谷歌加盟OpenAI，曹操出行发布RoboX战略启动香港Robotaxi。

Edge AI Daily 早报（6月20日）

今日AI圈人事震荡与技术落地齐飞，Meta用社交数据筑墙，Anthropic强推实名，谷歌核心人才流失至OpenAI。

AI成绩单背后，藏着一位华人“出题人”

在《燃烧吧！天才程序员2》节目的AI反诈竞赛背后，隐藏着一位被称为“靶场出题人”的华人攻防专家付浩，他设计的题目成为检验AI模型的终极试金石。

AI 让独立游戏更容易做出来，也更容易死在 Steam 里

AI让个人开发者拥有了“全栈”能力，但Steam上激增的AI游戏也让发现与竞争变得空前残酷，独立游戏更容易诞生，也更容易无人问津。

因批评 AI 数据中心迅速扩张，多名亚马逊工程师遭内部调查

亚马逊多名工程师因公开批评公司无节制扩张AI数据中心，并呼吁政府加强监管，在参加西雅图市议会听证会后面临公司内部调查，其代理律师已向民权办公室投诉指控亚马逊违反市政条例。

GPT发AI原创新成果了

OpenAI发布GPT-5，在编程、写作、推理等方面实现跨越式提升，同时AI原创性争议和潜在风险引发各界关注。

蔡崇信：阿里全面投入 AI，开源的主要推动力量来自中国企业

阿里巴巴集团主席蔡崇信近期多次强调，AI竞赛的赢家不是模型最好，而是应用最广，阿里正通过全面开源和云基础设施推动AI普及，开源的主要推动力量来自中国企业。

135亿！Manus收购案重大转机，传腾讯出手

135亿！Manus收购案重大转机，传腾讯出手。此前Meta以超20亿美元（约合135亿人民币）收购中国AI初创Manus的交易遭中国监管否决后，Manus创始团队正谋求融资回购公司，传闻原股东腾讯可能牵头参与新一轮投资。