OpenAI AI首次独立破解80年数学悬案，这可能是AI科研的"iPhone时刻"

80年前，匈牙利数学家Paul Erdos提出了一个关于平面点排列的几何猜想。80年来，无数数学家试图证明或推翻它，但都失败了。现在，OpenAI的AI系统独立完成了证明。

一个被忽略的里程碑

5月20日，OpenAI宣布其AI聊天机器人在"单位距离问题"上证明了Erdos的观点是错误的——它找到了比Erdos想象中更好的平面点排列方式。

这个成果已经得到与OpenAI无关的数学家的独立验证。多伦多大学数学家Daniel Litt表示："这是第一个完全由AI独立得出的研究结果，其本身就极具研究价值。"

为什么这个证明重要？

不是说这个问题有多难解，而是AI做到了"真正独立思考"。

之前的AI科研案例，大多是AI在人类提示下完成的。这一次，OpenAI的数学家Sebastien Bubeck明确表示："这是AI首次在一个科研领域自主产生的重要成果。"

换句话说，AI不只是"执行指令"，而是"提出猜想"并"独立证明"。这个跨越，比参数量的增长更有意义。

数学家怎么看？

Georgia Tech的数学家Tom Trotter曾与Erdos共同撰写过论文，他说："如果Erdos还活着，他肯定会对这一进展欣喜若狂。"

UC Berkeley的数学家Tony Feng也表示："我一向对AI在数学领域的影响持审慎态度，但这次的成果实在令人难以置信。"

数学是最讲究逻辑严谨的领域，AI能在这里证明猜想，说明它的推理能力已经达到了专业水准。

对AI发展的意义

有人说这是AI的"iPhone时刻"——就像iPhone定义了智能手机，这个成果定义了"AI科研"这个新物种。

当然，现在说"AI取代数学家"还太早。但可以确定的是：未来的数学研究，AI会是不可或缺的伙伴。就像当年计算机成为数学家的工具一样，AI会成为下一代数学家的"超级助手"。

有意思的是，OpenAI选择在这个时间点公布成果，可能也是为了转移注意力——毕竟GPT-5.5发布后争议不断，需要一个重磅消息来证明自己。