OpenAI剛剛解決了一個困擾人類80年的數學問題

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.