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.