5 年學術計畫被 AI 模型 11 天搞定!Claude 完成《費馬最後定理》形式化證明
TechNews (TW)zh-TW

一個原預計 5 年完成的學術計畫,被一個團隊只花 11 天就解決,這就是 AI 模型 Claude 帶來的最新 […]
This is a short summary published by AI Global Wire. The full article is owned and hosted by TechNews (TW) — open it there to read it in full.
Read the full story at TechNews (TW)- Anthropic
Related AI news
- GPT-6 Astra 敲開 AGI 大門,但 Claude Fable 5.1 效能評測卻更勝一籌TechNews (TW) · September 8, 2026
- Claude nun auch im Auto via CarPlay nutzbarheise online – KI · September 8, 2026
- Mistral bags $24 billion valuation as Samsung leads funding for Europe's AI championCNBC Technology · September 8, 2026
- Anthropic drops pursuit of $6b Decart AI dealTech in Asia · September 8, 2026
- Samsung SDS expands OpenAI, Anthropic partnerships for AI pushTech in Asia · September 8, 2026
- Anthropic drops pursuit of AI startup Decart valued at $6 billionEconomic Times Tech · September 8, 2026