OpenAI在5月中旬称，其内部AI模型推翻了离散几何中的Erdős单位距离猜想，这个1946年提出的问题研究的是平面上n个点最多能形成多少条长度为1的点对，困扰数学界约80年；菲尔兹奖得主Tim Gowers称其为“AI数学的里程碑”，Daniel Litt也认为这是首个本身就令人兴奋的AI自主产出结果。文章强调，这次突破不同于此前AI只在受限场景给出需大量人工解释的线索：模型把多个数学分支的既有想法组合成完整证明，但并未发明全新技术，后续仍由人类数学家清理并扩展。其影响在于证明AI已能解决重大开放猜想，尤其擅长调用广泛既有知识和穷举繁琐策略；边界则是人类仍在提出问题、深化理解和整理证明中关键，十年后角色如何变化尚不明确。据Reddit报道。
来源：Reddit（r/artificial）
原始发布时间：2026-06-02 19:34