來源: Decrypt ↗
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
|
暫時無法翻譯，請重試。
來源報導重點
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
在 Decrypt 閱讀原始報導 ↗