01
就在刚刚，数学圈又有惊人消息。
清华姚班大神带队，用Claude彻底攻克了费马大定理。
至此，AI完成了数学史上最大证明。
曾经，费马大定理折磨了人类350多年，需要数学家耗费数年心血，写下129页天书才能证明。
今天，Anthropic却宣布，Claude仅用11天，就完成了费马大定理的首个端到端机器验证证明！
为此，Claude疯狂敲了1300万行代码，产出了30300条可验证定理，最后有29500条被采用，直接进了最终证明。
0就在刚刚，数学圈又有惊人消息。
清华姚班大神带队，用Claude彻底攻克了费马大定理。
至此，AI完成了数学史上最大证明。
曾经，费马大定理折磨了人类350多年，需要数学家耗费数年心血，写下129页天书才能证明。
今天，Anthropic却宣布，Claude仅用11天，就完成了费马大定理的首个端到端机器验证证明！
为此，Claude疯狂敲了1300万行代码，产出了30300条可验证定理，最后有29500条被采用，直接进了最终证明。
0
评论 (0)