OpenAI、人間を80年間悩ませてきた数学問題を解決
openaiのモデルがエルデシュの単位距離予想を反証し、80年の歴史を持つ幾何学問題を解決。AI数学における初の大規模な自律的証明として画期的な一歩となる。
an internal openai model has disproved the erdős unit distance conjecture, a famous problem in discrete geometry that remained unsolved for 80 years. the system autonomously generated a proof by combining established techniques from various mathematical subfields, a feat fields medalist tim gowers described as a 'milestone' and university of toronto professor daniel litt called the first 'exciting' autonomous result. unlike previous contributions requiring significant human interpretation, this proof was cleaned up and extended by humans after the ai produced the core logic. this signals a shift toward ai-human collaboration where models manage the breadth of literature and computational testing, while humans provide depth and conceptual framing, though the rapid trajectory of ai capabilities casts uncertainty on the future necessity of human researchers in the field.