11天、1300万行代码：AI用3条公理形式化了困扰数学界350年的费马大定理
16:35
精选参考来源
精选参考来源
1. Anthropic：Claude用11天完成费马大定理首个完整计算机验证证明
凤凰网 2026-09-05 00:00:00
2. Claude首次形式化证明费马大定理！清华姚班大神出手了
凤凰网 2026-09-05 00:00:00
3. 11天攻克费马大定理！Claude交出全球首份可机器核验完整形式化证明，1300万行Lean代码开源
微信公众号 2026-09-05 00:00:00
4. 刚刚Anthropic扔王炸：清华姚班校友主导，Claude 11天搞定350年费马大定理形式化证明
腾讯网 2026-09-05 00:00:00
5. 刚刚，Claude 11天验完费马大定理！清华姚班大牛带队，用AI拿下大结果
凤凰网 2026-09-05 00:00:00
6. AI助力数学突破：Claude 11天完成费马大定理计算机验证形式化证明
ITBear科技资讯 2026-09-05 00:00:00
7. Mudhorse的微博
新浪微博 2026-09-05 00:00:00
8. AI写代码总有Bug？AWS工程师用Lean4形式化验证给出解法 | AI Engineer
哔哩哔哩 2026-09-02 00:00:00
9. 花生AI也能做同款
哔哩哔哩 2026-08-30 00:00:00
10. 上交暑校4天，做了个Lean证明Agent
小红书 2026-08-30 00:00:00
11. GPT-5.6仅用一天改写数学史，「双菲」五人团队8年纪录被破
今日头条 2026-09-04 00:00:00
12. 爱可可-爱生活的微博
新浪微博 2026-09-05 00:00:00
13. 清华姚班牛人带队，Claude用11天干成了数学界350年没干完的"验证明"
微信公众号 2026-09-05 00:00:00
14. AI证明快速涌现，人类却看不懂：数学界该乐见其成吗？
今日头条 2026-09-03 00:00:00
15. AI证明了一个数学新定理
知乎 2026-08-29 00:00:00
16. AI写代码总有Bug？AWS工程师用Lean4形式化验证给出解法 | AI Engineer
哔哩哔哩 2026-09-02 00:00:00
17. 上交暑校4天，做了个Lean证明Agent
小红书 2026-08-30 00:00:00
18. AI用2000美元攻克10道数学难题，数学家为何反而担忧？
今日头条 2026-08-30 00:00:00
-
京东圈子活动汇总：9月（不定时更新）78 67 -
罗永浩，又又又被电视气到发飙了！242 412 -
非官方配件，才是“花小钱办大事”之神！131 17 -
女生视角下:性生活里,时长和质量到底哪个更重要?77 67
已收藏
去我的收藏夹