形式的証明

AnthropicがFable 5.2とMythos 5.2の2つのフラッグシップモデルを発表し、公式には高難度の技術的課題において著しく向上したと述べています。その中でFable 5.2は約30時間でフェルマーの大定理の形式的証明を完了しました。