GPT-5刚刚通过了研究人员所称的“哥德尔测试”。 这意味着它不仅仅是在解决教科书问题，而是在处理通常需要熟练的博士生几天才能破解的开放数学猜想。 在一篇新论文中，GPT-5在5个未解决的优化猜想上进行了测试。它解决了5个中的3个。在一个问题上，它甚至产生了与研究人员预期不同的有效证明。 我们正式进入了一个时代，前沿AI不仅在学习数学，它还在进行数学。 这意味着巨大的影响： • 在让人类困惑数天或数周的问题上取得进展 • AI为真正的数学发现做出贡献 • 预览2030年代研究本身将如何转变 人们仍然低估了这一点。能够证明定理的模型的影响才刚刚开始显现。 这就是“华丽的自动补全”和真正的科学推理之间的界限。