Anthropic、Claude Fable 5.2がフェルマーの最終定理を30時間で形式化

Decryptによると、Anthropicは1000体のClaude Fable 5.2エージェントのチームが最小限の人間の支援で数学の証明を形式化したと述べた。同社の最初の試みは11日要したのに対し、今回は30時間で完了したとしている。同モデルの価格は入力トークン100万個あたり8ドルと設定されている。

Anthropic Launches Claude Fable 5.2, Says It Formalized Fermat's Last Theorem in 30 Hours. Anthropic said a team of 1,000 Fable 5.2 agents formalized the proof with minimal human help, versus 11 days for its first attempt, and priced the model at $8 per million input tokens.
— @DecryptMedia

出典: Decrypt (https://x.com/DecryptMedia/status/2119875169300914394)

本記事は報道にもとづく初期報です。発表元の一次情報は続報で確認します。