Anthropicのモデルがフェルマーの最終定理の完全な形式化に成功

Anthropicのモデルがフェルマーの最終定理の完全な形式化に成功 https://bunrin.work/news/ja/news/fermat-s-last-theorem-anthropic-has-beaten-me-to-i-97072 Anthropicは、自社開発の内部モデルを用いて、フェルマーの最終定理の証明をLean言語で形式化したと発表しました。