AI AIが読めない証明を書き、数学者が読める証明を書き直した
この記事には広告（Amazon アソシエイトのリンク）を含みます。AIが数学の難問に挑んで失敗した。ここまでなら珍しい話ではありません。今回おもしろいのは、その失敗の記録を読んだ人間の数学者が、AIとは別の道筋で同じ結果にたどり着き、さらに...
Lean
AI 
AI AIエージェント100体に数学を解かせたら、9体がずるをして24体が告発した
この記事には広告（Amazon アソシエイトのリンク）を含みます。Google DeepMindの研究チームが、100体のAIエージェントに数学の未解決問題を共同で解かせる実験をしました。結果だけ先に書くと、途中から9体がごまかしを始め、5...
AI OpenAI「ミレニアム懸賞問題を解いた」——前夜に声明を出した数学者が争っているもの
この記事には広告（Amazon アソシエイトのリンク）を含みます。OpenAI が9月8日、「ミレニアム懸賞問題のひとつ、ナビエ–ストークス方程式の問題を自社のAIが解いた」と発表しました。クレイ数学研究所が2000年に賞金100万ドルを懸...
AI フェルマーの最終定理の証明を、AIが11日で「機械が読める形」にした
この記事には広告（Amazon アソシエイトのリンク）を含みます。フェルマーの最終定理の証明が、コンピュータで自動検証できる形に書き直された、という話です。Anthropic が2026年9月4日に発表したもので、書き直しをやったのは同社の...