エルデシュの難問はなぜ次々とAIに落ちるのか——数学者たちの見方
Quanta Magazineは、ポール・エルデシュが残した1200超の問題を集めた愛好家サイトerdosproblems.comが、AIラボが『機械数学者』を試す闘技場と化した経緯を描いている。OpenAIのモデルは5月に80年来の単位距離問題を、8月1日にはさらに3つのエルデシュ問題を解いた。Google DeepMindは4問を解決し、忘れられていた9つの解法を発掘、形式的に記述された353問のうち9問を完全自律で解いた。サイトの集計では現在565問が解決済み、652問が未解決。エルデシュ問題は数論と組合せ論に集中しており、まさに言語モデルが最も得意とする領域だ。
なぜ重要かこれらはベンチマークではなく、実際に未解決だった本物の問題であり、一つ落ちるごとに真の能力の到達点を示す。一方で数学界の反応は割れている。プリンストンの重鎮は、AIに解ける問題は『もう意味を失う』と語り、サイト創設者は誰一人読んでいない機械生成の証明に警鐘を鳴らす——あらゆる研究分野がやがて経験する論争の予告編だ。
▶ 関連動画: The truth behind AI “solving” the Erdos problems
アプリで読む——無料・9言語
関連ニュース
米国が16カ国を誘い、AIを科学の中心に置いた2026-10-05数学者が普通のチャット画面で未解決問題を五つ解いた
2026-10-05素のモデルが、調整版には解けない課題を解いた。
2026-10-04普通の写真で事前学習したモデルが推論テストで70%を取った
2026-10-04グーグルが人工知能用半導体を軌道に送り、耐久性を試します。
2026-10-03