微信内可能无法直接打开本站。请点右上角 ··· → 在浏览器打开，或复制链接。
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
RSS 官方收录 · 可信分层展示
关键摘要
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
摘要引擎：抽取
正文提要
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
来源：https://decrypt.co/377491/ai-solved-350-year-old-math-problem