フェルマーの最終定理、機械が最後まで検証できる形になった——11日・1,300万行、Anthropicが公開
Anthropicが2026年9月4日、フェルマーの最終定理の証明を、機械が最後まで検証できる形に書き下したと発表しました。証明支援系Leanで1,300万行、定理30,300個を…
形式化の記事一覧
形式化に関する記事2本を、新しい順に掲載しています。
クオンタムビュー
【クオンタムビュー】9月8日｜Liquid流出、気象AI刷新、証明の形式化
Liquidから約4,000BTCが流出した原因、GoogleのWeatherNext 3が予報の細かさを5kmに変えた仕組み、Anthropicが1,300万行でフェルマーの最終定理を機械検証可能にした作業を詳しく見ま…