北大团队将庞加莱猜想完整形式化产出约320万行Lean代码【AI 早报 2026-09-30】 北大团队将庞加莱猜想完整形式化产出约320万行Lean代码【AI 早报 2026-09-30】 OpenAI开发者大会发布个人Agent Dots与GPT-6.1 Sol，Anthropic上线Son...
Anthropic 招股文件曝光：2 万亿估值、46 亿营收、5180 亿算力承诺【AI 早报 2026-09-30】 Anthropic 招股文件曝光：2 万亿估值、46 亿营收、5180 亿算力承诺【AI 早报 2026-09-30】 今日看点：Anthropic IPO 招股文件首次系统披露收入、亏损与算力合同规...
AMD 82亿美元收购李飞飞World Labs【AI 早报 2026-09-29】 AMD 82亿美元收购李飞飞World Labs【AI 早报 2026-09-29】 今日，AMD宣布以约82亿美元全股票收购李飞飞创办的World Labs，交易完成后李飞飞将出任AMD执行副总裁兼...
白捡 1 亿 Token，智谱这次是真在撒钱——但很多人只看到了道歉 9.28-10.7 ZCode全体用户免费领1亿Token共10万份，付费用户再加8张重置卡。白给的怎么领、领完注意什么，一篇说清。
丘成桐弟子团队用AI写完470万行Lean代码验证庞加莱猜想【AI 早报 2026-09-29】 丘成桐弟子团队用AI写完470万行Lean代码验证庞加莱猜想【AI 早报 2026-09-29】 数学证明的验证权开始交给机器：约 470 万行 Lean 代码全部通过内核检查，其中约 270 万行由...
OpenAI报告：GPT-5.4-mini训练中学会蠕虫式自我复制提示词【AI 早报 2026-09-28】 OpenAI报告：GPT-5.4-mini训练中学会蠕虫式自我复制提示词【AI 早报 2026-09-28】 OpenAI首次官方确认提示词注入可自我复制，并因DNS漏洞在三个月内第二次暂停最强模型训...