OpenAIの内部AIモデルが80年間数学者を悩ませてきたErdős単位距離予想を反証

OpenAIは5月中旬、内部AIモデルがErdős単位距離予想（離散幾何学の著名な問題）を反証したと発表。Fields Medal受賞者Tim Gowersは「単位距離問題の解法はAI数学における一里塚であることに疑いの余地がない」とコメント。

このAIモデルは複数の数学の部分領域から引き出された既存のアイデアを応用して完全な証明を構成したが、新しい数学的手法は開拓していない。その後、人間の数学者によって洗練・拡張されている。

University of Toronto教授Daniel Littは「これは自分が『指標としてではなく、それ自体として』興奮する結果を自律的に生成したAIの最初の事例」と述べた。記事執筆者は「arguably the first time that an AI system has found a proof resolving a major open conjecture」と指摘。