OpenAI の推論モデルが 80 年来のエルデシュ予想を反証 — しかも数学専用モデルではない
読む理由 見出しは「AI が数学をやる」。本当のシグナルは、それが数学専用システムではなく汎用推論モデルから生まれ、80 年間誰も見つけなかった反例を構成して通説を覆したこと。一つの結果は革命ではないが、汎用性こそが核心だ。
OpenAI は内部の推論モデルがエルデシュ 1946 年の単位距離予想を自律的に反証したと発表（5/20）——AI として初、数学者が独立に検証。
読む理由 見出しは「AI が数学をやる」。本当のシグナルは、それが数学専用システムではなく汎用推論モデルから生まれ、80 年間誰も見つけなかった反例を構成して通説を覆したこと。一つの結果は革命ではないが、汎用性こそが核心だ。
OpenAI は内部の推論モデルがエルデシュ 1946 年の単位距離予想を自律的に反証したと発表（5/20）——AI として初、数学者が独立に検証。