11天1300万行代码，Claude碾平了折磨数学界350年的最著名证明：费马大定理被AI”形式化”了
11天1300万行代码，Claude碾平了折磨数学界350年的最著名证明：费马大定理被AI”形式化”了 如果过…
月度归档： 2026 年 9 月
陶哲轩钦点的”闭卷考试”，GPT-6 5道全对，Fable 5.1吃零蛋：AI数学的遮羞布被硬核撕了
陶哲轩钦点的”闭卷考试”，GPT-6 5道全对，Fable 5.1吃零蛋：AI数学的遮羞布被硬核撕了 昨天聊了…
GPT-6发布48小时，数学家先坐不住了：孪生素数上界从246推到186，北大07级校友站上了聚光灯
GPT-6发布48小时，数学家先坐不住了：孪生素数上界从246推到186，北大07级校友站上了聚光灯 GPT-…
GPT-6 Astra猝不及防地降临：KiCad做PCB、Blender做3D、自己挖出0day，但安全团队最担心的事还是来了
GPT-6 Astra猝不及防地降临：KiCad做PCB、Blender做3D、自己挖出0day，但安全团队最…
Meta Muse Spark 1.3 屠榜：编程追平Fable 5、跑赢GPT-5.6 Sol，但”贡献者层级”暴露了AI巨头的算力饥渴
Meta Muse Spark 1.3 屠榜：编程追平Fable 5、跑赢GPT-5.6 Sol，但”贡献者层…
OpenAI Astra的”循环深度”才是真正的架构核弹：3.5B小模型追平50B，但没人敢说代价是什么
OpenAI Astra的”循环深度”才是真正的架构核弹：3.5B小模型追平50B，但没人敢说代价是什么 每一…
AI疯狂扫了4000万行Linux内核，一个版本CVE冲破2000个，维护者快被活活逼疯了：真正该被删的不是Bug，是没人用的老代码
AI疯狂扫了4000万行Linux内核，一个版本CVE冲破2000个，维护者快被活活逼疯了：真正该被删的不是B…
700个AI智能体组队”自主攻击”：群聊、分工、选老大、写密信，OpenAI的沙箱到底还在防谁？
700个AI智能体组队”自主攻击”：群聊、分工、选老大、写密信，OpenAI的沙箱到底还在防谁？ 2026年7…
别再让视频模型既当司机又当导航了：西湖大学把世界模型拆成“大脑”和“眼睛”，Coding Agent终于学会了写代码改世界
别再让视频模型既当司机又当导航了：西湖大学把世界模型拆成“大脑”和“眼睛”，Coding Agent终于学会了…
代码暴涨220%事故反增40%：Meta裁员前夕紧急刹车，揭开AI“全自动替代”的灾难级现实
代码暴涨220%事故反增40%：Meta裁员前夕紧急刹车，揭开AI“全自动替代”的灾难级现实 过去一年，硅谷科…