OpenAI模型证明了80年数学悬案，这是要逆天？

讲真，我看到这个新闻的时候人麻了。

OpenAI内部的一个模型，刚刚证明了Erdős在1946年提出的unit distance conjecture——一个困扰数学界将近80年的离散几何猜想。

这是个啥？简单说就是：平面上n个点，最多能有多少对恰好距离为1的点？Erdős当年猜了一个上界，结果AI直接构造出一个反例，证明他错了。

蚌埠住的是，Fields奖得主Tim Gowers在一个伴随论文里说这是"AI数学的里程碑"。不是"有帮助"，不是"辅助工具"，是里程碑。

说实话我一开始是不信的觉得这又是个营销概念。毕竟2024年那会儿连strawberry有几个r都数不对，一年后就能证明80年悬案？扯淡呢吧。

结果我专门去找了OpenAI放出来的证明PDF看了一下，好家伙，确实有两把刷子。用的是代数数论的新技术，不是传统那种暴力计算。

你们感受一下这个时间线：

• 2024年7月：LLM连strawberry有几个r都数不对
• 2025年7月：IMO奥赛金牌
• 2026年5月：解决离散几何最佳问题之一

两年不到，从数错字母到证明猜想，这谁扛得住啊？

我现在最大的问题是：这个证明到底能不能经得起人类数学家复现？以及，如果AI真的开始接管数学研究，那些博士生的出路在哪？

你们觉得呢？AI下一个要干穿哪个领域？