AIと数学

AIが読めない証明を書き、数学者が読める証明を書き直した

この記事には広告（Amazon アソシエイトのリンク）を含みます。AIが数学の難問に挑んで失敗した。ここまでなら珍しい話ではありません。今回おもしろいのは、その失敗の記録を読んだ人間の数学者が、AIとは別の道筋で同じ結果にたどり着き、さらに...

フェルマーの最終定理の証明を、AIが11日で「機械が読める形」にした

この記事には広告（Amazon アソシエイトのリンク）を含みます。フェルマーの最終定理の証明が、コンピュータで自動検証できる形に書き直された、という話です。Anthropic が2026年9月4日に発表したもので、書き直しをやったのは同社の...