statement

1,000 agents completed the formalization of Fermat's Last Theorem in 30 hours.

A statement by Anthropic. Statements are as reported by the cited publishers — not verified by DecisionGateway.

1,000 個代理 30 小時完成費馬最後定理形式化
abmedia_newsPublished 2026-11-10 Read source

Discussion

0/2000

Related claims

More claims by Anthropic

All claims by Anthropic