びっくり・ 2026/05/20

AIが、80年前の数学の予想がまちがいだと示した

なにがすごい？

1946年にエルデシュが出した「平面の単位距離予想」について、OpenAIの社内AIが、予想が誤りだと分かる点の並べ方を見つけました。9名の数学者が確かめ、Lean という道具による機械の検証も済んでいます。

数学者がAIに問いを投げ、出てきた答えを人が確かめる、という進め方が、実際に成果を出した例です。

ちょっと気になる点

人間の数学者が担った部分もあり、2026年10月25日の時点では学術誌への掲載は確認できていません。

出どころ

ハタハタのひとこと

80年動かなかった問題が、AIへの1回の問いかけから動いたのが驚きです。