OpenAI 2026-05-21 AI第一次自己解开数学开放题:OpenAI内部模型反掉Erdős的80年猜想,9位数学家联署盖章 5月20号晚上,OpenAI扔了一份证明出来。 1946年Paul Erdős问过一个问题:平面上摆n个点,能有多少对点彼此距离恰好等于1?整整80年里,数学界主流的答案是——按方格排大致就接近最优,对数最多到 n^(1+o(1))——意思