数学界彻底被 AI 撼动了!毕业于清华姚班的顶尖神童带队,直接拿 AI 大模型 Claude干了一件大事——彻底攻克了数学史上的终极噩梦:费马大定理!
这意味着,AI 刚刚完成了人数学史上最伟大的自动化证明!要知道,这个定理曾经折磨了人类整整 350 多年。当年顶级数学家憋了半辈子,生生熬心血写了 129 页像“天书”一样的论文才算搞定。
而现在?Anthropic 官方直接甩出重磅:Claude 只用了区区 11 天,就完成了费马大定理的全球首个“端到端机器验证证明”!人类几百年的数学血泪史,直接被 AI 用 11 天给彻底刷新了!

评论列表