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