11天完成！Claude首次形式化证明费马大定理，代码量超Mathlib五倍
09-05 16:33
精选参考来源
精选参考来源
1. Anthropic：Claude用11天完成费马大定理首个完整计算机验证证明
凤凰网 2026-09-05 00:00:00
2. 花生AI也能做同款
哔哩哔哩 2026-08-30 00:00:00
3. AI证明了一个数学新定理
知乎 2026-08-29 00:00:00
4. AI写代码总有Bug？AWS工程师用Lean4形式化验证给出解法 | AI Engineer
哔哩哔哩 2026-09-02 00:00:00
5. 10个听起来最帅的数学定理和费马大猜想
今日头条 2026-08-30 00:00:00
6. AI负责证明，人类负责提问：数学研究新范式的边界在哪里？
今日头条 2026-08-30 00:00:00
7. 2026年8月23日，美国数学家、Anthropic 研究人员 Levent Alpöge 公布了一项可能具有里程碑意义的数学成果：他与 Claude AI 合作提出了六维球面 S^6 存在可积复结构的新构造，试图解决自20世纪40年代以来悬而未决近80年的著名 Hopf Problem，这个问题长期困扰复几何和微分几何界，连菲尔兹奖得主 Michael Atiyah 等顶尖数学家过去的相关证明尝试也未获数学界接受。 此次突破最引人注目之处在于，Claude 在极短时间内找到具体的几何构造，并进一步展开成约 108页的技术手稿，还分析了为何部分既有文献结论无法排除这一构造；随后在 8月27日，数学家 Boris Alexeev 又用 Lean 4 对核心结论进行了形式化验证，Google DeepMind 的 Formal Conjectures 项目已将该问题标记为“research solved”。 如果最终通过全球复几何专家的完整独立审查，这不仅意味着一个持续近80年的著名数学难题被解决，更可能成为迄今AI自主参与发现全新高水平数学结构、完成证明并接受形式化验证的最重大案例之一；不过截至8月29日，专家人工审查仍在进行，因此严格来说它仍应称为“高度可信的重大候选突破”，而不是已经获得数学界最终共识的定理。
今日头条 2026-08-30 00:00:00
8. AI用2000美元攻克10道数学难题，数学家为何反而担忧？
今日头条 2026-08-30 00:00:00
9. 陶哲轩警示AI引发的数学新变化 ✨ 重磅观点抛出 菲尔兹奖得主陶哲轩在国际数学家大会上，分享了一个很有冲击力的观察。 📍 效率差得惊人 AI只用一天半，就把黎曼零点比例猜想推进25.6%，而人类过去三十年仅仅推进1.6%。 AI可以批量产出正确，但人类完全无法理解的数学证明，数学已经悄然进入“证明过剩”时代。 画面：对比动画：人 ⚠️ 现在暴露的卡点 AI擅长生成证明，但验证、阐释、同行认可、写入教材这些后续环节全部卡住了。 AI写出的论文看似完美，却会掩盖真正的难点。 真正的理解，恰恰来自人类卡壳、反复修改的过程。 📊 测试结果刷新认知 FirstProof测试里，十道前沿难题AI解出七道，成本低到几百美元，达到期刊发表的水平。 论文文档、公式演算动画 会生成，但很难被人类理解 当AI源源不断产出人类读不懂的证明，你觉得数学研究未来会走向何方？欢迎评论区聊聊。 #我想收集1000个回答 #AI数学 #人工智能前沿 #科技思考 #真实生活分享计划
抖音 2026-09-01 00:00:00
10. AI证明快速涌现，人类却看不懂：数学界该乐见其成吗？
今日头条 2026-09-03 00:00:00
11. Claude首次形式化证明费马大定理！清华姚班大神出手了
凤凰网 2026-09-05 00:00:00
12. 11天攻克费马大定理！Claude交出全球首份可机器核验完整形式化证明，1300万行Lean代码开源
微信公众号 2026-09-05 00:00:00
13. 刚刚，Claude 11天验完费马大定理！清华姚班大牛带队，用AI拿下大结果
凤凰网 2026-09-05 00:00:00
14. 刚刚Anthropic扔王炸：清华姚班校友主导，Claude 11天搞定350年费马大定理形式化证明
腾讯网 2026-09-05 00:00:00
15. 刚刚，Claude 11天验完费马大定理！清华姚班大牛带队用AI拿下大结果
新浪财经 2026-09-05 00:00:00
16. Claude 11天完成费马大定理形式化证明：AI正在改变数学验证方式
微信公众号 2026-09-05 00:00:00
17. 人工智能赋能数学研究的边界
新华网 2026-06-18 00:00:00
18. 研究显示：半数大学生有AI替代焦虑
腾讯网 2026-04-24 00:00:00
19. 【网事青评】AI来了！大学生不必焦虑，该换思路了
凤凰网 2026-07-13 00:00:00
20. 豆包转Kimi再转DeepSeek，年轻人如何花式薅AI羊毛
百度 2026-09-02 00:00:00
21. AI会不会“偷走”孩子思考能力？先要练好教育的基本功
今日头条 2026-09-03 00:00:00
22. 作为文科生家长，我终于不焦虑了 作为文科生家长，我以前特别焦虑，总担心孩子学文科，以后出路窄。这次参加完教育大会，一下子豁然开朗。 原来AI时代，文科生的未来，其实一片光明。 很多人说文科没用，可AI能干计算、检索、写初稿，却替代不了读懂人性、洞察情绪、价值判断这些人文能力。 现在不少AI相关岗位，反而很需要文科背景。AI训练、内容策划、用户研究，都要懂人的人来把控方向。教育、心理、品牌、法务这些赛道，同样离不开人文素养。 不是文科不行，只会死记硬背、套模板的文才会被淘汰。懂思考、会驾驭AI的复合型文科生，反而会越来越稀缺。 放下固有的偏见，文科不是妥协，是面向未来的另一条出路。
抖音 2026-08-30 00:00:00
23. 数据标注、算力运维、应用开发，在校生如何规划技能路径？
今日头条 2026-08-30 00:00:00
-
京东圈子活动汇总：9月（不定时更新）79 68 -
罗永浩，又又又被电视气到发飙了！242 414 -
非官方配件，才是“花小钱办大事”之神！131 17 -
女生视角下:性生活里,时长和质量到底哪个更重要?81 69
已收藏
去我的收藏夹