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

TechNews (TW)zh-TW

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

一個原預計 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