OpenAI刚刚干了一件事,把数学界80年的老猜想给推翻了。说实话,看到这个消息的时候我第一反应是:这玩意跟我有什么关系?
还真有关系。
发生了什么
5月21日,OpenAI在X平台发了一条消息:他们家的全新推理模型,推导出了一个原创数学证明,推翻了几何学中一道著名的未解猜想。
这个猜想有多老?最早由数学家保罗・埃尔德什在1946年提出,距今已经快80年了。将近80年里,数学家们一直认为最优解的形态大致趋近于正方形网格结构。结果OpenAI的模型发现了一类表现更优的全新构造体系——直接把前人的认知给推翻了。
OpenAI说,这是人工智能首次自主攻克某一数学核心领域内的重大未解难题。注意,是"自主攻克",不是在文献里翻到现成答案。
上次的翻车还记得吗

说到这里你可能想起来了——去年11月,OpenAI前副总裁凯文・韦尔在社交平台上高调宣布"GPT-5攻克了10道埃尔德什难题",结果被杨立昆、谷歌DeepMindCEO德米斯・哈萨比斯等人嘲讽,因为GPT-5其实只是找到了文献里已有的解法。韦尔很快删了那条推文。
这次OpenAI吸取了教训,消息发出的同时附上了多位数学家的佐证——包括诺加・阿隆、梅兰妮・伍德,以及运营埃尔德什难题专题网站的托马斯・布鲁姆(就是去年公开打脸韦尔的那位)。
布鲁姆这次在声明里说:"人工智能正助力我们全方位探索数百年来人类搭建起的数学知识殿堂。"
能让去年骂你的人都站出来替你背书,说明这次来真的。
这件事到底意味着什么
你可能会说:数学证明跟我有什么关系?我又不做数学研究。
但你想想这个逻辑链——
AI已经能推翻80年的数学猜想,能在复杂的逻辑推理链条里找到人类从未想到的路径,还能打通不同学科之间的知识关联。
这不是"AI能帮你写个邮件"那种级别的能力。这是AI在人类最硬核的智力领域之一——纯数学——做到了人类顶尖数学家都没做到的事。
OpenAI自己说,这项成果将对生物学、物理学、工程学以及医学领域产生深远影响。数学是所有自然科学的基础语言,数学工具的进步会像多米诺骨牌一样传导到其他学科。
对普通人来说
如果你还在犹豫要不要学AI、要不要用AI,这条新闻给你的信号很明确:AI的能力天花板比我们想象的要高得多。
不是高一点点,是高到能推翻80年认知的那种。
两年前大家还在讨论"AI会不会取代程序员",现在AI已经开始挑战数学家了。这个进化速度不是线性的。
我不是在贩卖焦虑。我是觉得,与其被动等AI来"替代"你,不如主动搞清楚AI能帮你干什么。会用AI的人不会被AI替代——这句话说了两年了,但它的含金量还在上升。
最后
数学家托马斯・布鲁姆说了一句话,我觉得说得特别好:
"还有多少未曾发掘的精妙奥秘,正静待世人发现?"
以前这个问题的答案是"靠人类数学家慢慢挖"。现在答案变了——AI也是那个挖矿的人了。
信息来源:IT之家报道、OpenAI官方X平台发布
本文内容由AI辅助整理生成,仅供参考