AI Hub
AI情报
2026-09-07
Claude's 13 Million Line Fermat Proof: AI News Sep 7 2026
信号 · AI
信号 · GPT
Claude formalized Fermat's Last Theorem in Lean in 11 days across 13 million lines and 30,300 theorems, and GPT-6 Astra now drives Blender directly.
发布于 2026-09-07 02:15
阅读原文