【2026年5月21日凌晨，openai宣布：其内部的
这是一道悬置近80年的离散几何核心难题。
”，并评价道：“如果这是人写出的论文，我会毫不犹豫推荐顶刊接收”。
“ai做到了许多优秀研究者尝试多年却未能做到的事情”。布鲁姆在验证后撰文：
ai之所以能成功，是因为它坚持探索了那些人类研究者认为“不值得继续投入时间”的研究方向。
值得注意的是，这次openai长了个心眼，就在七个月前，他们曾宣称gpt-5解决了多个埃尔德什问题，结果被揭穿只是从文献中找到现成答案。
而这一次，他们同步邀请了多位数学家独立验证，所有公开支持声明都是真金白银的原创突破。】
天幕上又亮了起来，可这次底下的佃户们只是抬头瞥了一眼，就齐刷刷收回了目光。
“来来来，看不懂看不懂——”刘易斯镇长把手里一把粗糙的纸牌往石桌上一拍，朝周围几个佃户招了招手，“咱们继续玩。”
几个人呼啦啦围上来，蹲的蹲、坐的坐，把那块平时当切菜板用的石头围了个严实。
“一对三！”一个年轻佃户甩出两张牌，得意洋洋。
“王炸！”刘易斯把手里两张牌“啪”地拍在石头上，声音脆得像放鞭炮。
佃户们先是一愣，随即笑成一团。有人拍著大腿，有人笑得弯了腰，年轻佃户指著刘易斯，眼睛瞪得溜圆：
“嘻嘻嘻——大刘，你这研究的‘斗贵族’还真好玩！你脑子怎么长的？”
贵族：还是不肯放过我吗，哈基刘，你这家伙
刘易斯笑眯眯地把桌上的牌拢过来，一边洗一边谦虚道：“夸奖了，夸奖了。”
牛顿蹲在不远处的石阶上，双手搭在膝盖上，远远看着那群佃户打得热火朝天。
他不太喜欢这种喧闹的玩法，更不喜欢那些粗糙得连数字都印歪了的纸牌。
别人：打牌
牛顿：研究天幕就很
至于天幕上那个叫“ai”的东西，他皱了皱眉。
“有智慧的机器？”他低声念叨了一句，目光往天上飘了飘。
圣经里好像也没有这种东西。人造的生命？那不就是他把那个念头按了下去，没有说出口，只是觉得脊背微微发凉。
而在书房里，高斯和黎曼并肩坐在一张长桌前，面前摊著几页演算纸，两个人的目光却都落在天幕上，半天没动。
“ai人工智能”黎曼的声音带着一种真切的困惑，“能取代人类做数学研究？那未来的数学，还有人类的事吗？”
高斯没有马上回答。
他摘下眼镜，慢慢地擦著镜片，过了好一会儿才开口道：
“还会有人类的作用的。”
他把眼镜重新戴上，镜片后面的目光很稳，“所谓机器再智慧，也企及不到人类。
你想想，人类如果能发明比自己还智慧的存在，人类不就成为上帝了吗？创造新生命，那是上帝的权柄。”
黎曼沉默了几秒，点了点头，可眉头并没有完全松开。
如果有一天ai连黎曼猜想都能解决的时候，那人类恐怕确实得被ai取代了。
英格兰，布雷奇利庄园附近一间不起眼的书房里。
图灵坐在椅子边缘，整个人往前倾著，两只眼睛盯着天幕上那行“ai首次独立解决数学核心未解问题”的字样，一动不动。
“通用推理模型推翻猜想”曼喃喃地重复著，声音里带着一种克制不住的兴奋，“我们现在还在讨论通用图灵机，他们已经做出来了？”
图灵没有回答。他的手不知道什么时候摸到了桌上的笔记本，已经翻开了空白的一页，笔尖悬在上面，迟迟没有落下。
在他的脑海里，一个词正在慢慢成形，像墨水渗进宣纸一样不可阻挡。
图灵测试，用机器去判断机器，用对话去衡量智慧。
如果有一天，一台机器能在对话中让人类无法分辨它是人还是机器，那它算不算拥有了智慧？
他抬起头，又看了一眼天幕。
“原来这条路，真的有人走到了那么远的地方。”
他低声说了一句，然后低下头，开始在本子上飞快地写了起来。
两道矗立著身影，或许不会知道，他们将对未来的计算机学科产生如此大的影响。
人们总是戏说计算机领域有两个学派，图灵的南梁派和冯诺依曼的硬核派，但这对双子星的命运走向截然不同。
冯诺依曼在很早就是普林斯顿的教授，在数学，量子力学领域有了建树颇丰。
带着计算机两人各奔东西，分别来到美国和英国。
。他凭借极高声望，为了在普林斯顿建造niac计算机，上演了一出“以退为进”的好戏。
他先向哈佛、芝加哥大学等发出求职信号，引得各家纷纷开出天价“抢人”，普林斯顿为了留住他，最终咬牙批准了建机计划。
这台机器不仅证明了氢弹的可行性，也成为了后世所有计算机的“母型”。
回到英国的图灵则没那么幸运。他满怀激情地想为英国制造一台可编程的计算机（ace），然而在战后沉闷的官僚体制下，这份报告无人能真正看懂。
他无法像在美国那样获得巨大支持，只能孤军奋战。
最后，因同性恋身份被曝光，他被迫接受化学阉割，于1954年自杀身亡，年仅42岁。
王尔德：还说什么，跟一个。
（作者一直以来认为英gay兰从古至今很开放的，原来也不是这样）
或许值得说道的是，图灵在后世普通人的名声熟悉度中反而高过冯诺依曼。
而两人的经历与理念就像是计算机序列中的序列0至今不断影响着低序列的后代子孙。
虽然挺玄乎，但想一想武侠小说的传统就不奇怪了，序列0这一块。
【这道题的核心很简单：在平面上放n个点，最多能让多少个点对“恰好相距1个单位”？
埃尔德什认为，像国际象棋棋盘那样的正方形网格就是最优解，并给出数学上界猜想。
过去80年，数学家们都在试图证明老爷子是对的。
但openai的模型另辟蹊径，直接颠覆了这个前提，它找到了比网格多得多的单位距离点对配置，推翻了猜想，证明了其不成立。
这是最核心的创新点：ai的解法引用了代数数论中的工具来破解组合几何难题。研究人员形容：
这两个领域的关系，好比“马拉松和撑杆跳一样遥远”，但ai能轻松跨界连接。
布鲁姆的评论点明了关键：人类研究者会因为“这事看起来没希望”而早早放弃某个研究方向；
但ai没有“不值得投入”。
完成这一突破的不是专为数学打造的模型，而是一个通用的推理模型，它没有预设“我是数学领域的专家”，反而因此不会受既定思维的束缚。
在让ai解决这个问题时，用户给ai断了网，并要求它不要局限于主流的想法。
高尔斯在评价时说到了一句意味深长的话：“即便ai从此不再变得更聪明，人类也将在数学问题求解上越来越难与ai竞争。”
“ai不会消灭数学研究。它只是扩大了人类探索未知的能力。”
这是ai的数学奇点时刻，不是取代，而是开启一个人机协同的新时代。】
天幕上那段关于ai破解数学难题的讲述还在继续，可底下的佃户们已经彻底不听了。
“一对四！”一个佃户甩出牌，声音盖过了天幕的旁白。
“管上！”另一个紧跟着拍下来。
刘易斯镇长手里攥著一把牌，眯着眼看了看牌面，又抬头瞥了一眼天幕上那些密密麻麻的数字和公式，摇了摇头，低头继续出牌。
什么ai，什么数学猜想，离他们太远了，远不如手头这把“斗贵族”来得实在。
不远处的苹果树下，牛顿背靠着树干站着，手里没有拿书，也没有拿笔。
他望着天幕上那些不断滚动的文字，眉头拧成了一个结。
ai。有智慧的机器。能独立解决人类80年解不出的数学难题。
这些东西超出了他理解的范围，可他又无法假装没听见。
天幕给他们展示了太多，未来的城市、会飞的机器、隔着万里传话的装置、还有这个叫“人工智能”的东西。
可知道的越多，心里的疑虑反而越深。
他抬起头，望向太阳。日光刺眼，他不得不眯起眼睛，可目光却没有收回来。
宇宙的尽头究竟是什么呢？
如果未来的人类已经造出了这种近乎神迹的工具，那他们有没有找到那个答案？
没有人回答他。只有风吹过苹果树的叶子，沙沙作响。
高斯和黎曼并排坐在长桌前，原本只是漫不经心地听着天幕上的讲述。
可当那道“平面单位距离猜想”被完整地抛出来时，两个人几乎同时伸出手去够桌上的鹅毛笔。
“有意思。”高斯低声说了一句，在草稿纸上画了一个坐标系。
黎曼
起初他们只是抱着一种学者本能的兴趣，听听而已，顺手算算。
可算著算著，两个人的速度都慢了下来。
黎曼放下笔，盯着自己写了两页的草稿纸，沉默了几秒，然后抬起头看向高斯。
“这个ai”他顿了顿，“看来还是有含金量的。”
高斯没有抬头，目光还落在自己的演算纸上。
过了一会儿，他才缓缓开口，声音里带着一种复杂的情绪：
“刚开始我还以为是什么简单的问题。”
他把鹅毛笔搁在墨水瓶边上，靠回椅背，“没想到所谓的人工智能，已经发展到这么智慧了。”
黎曼苦笑了一下，补了一句：“上次这么掉以轻心，还是面对吹牛大王费马的那道题。”
费马：小黑子，你再骂!!!
与费马共同创立概率论的数学家帕斯卡，就称他为“世界上最令人头疼的合作者”。
而“解析几何之父”笛卡尔更是直接给他扣上了“吹牛大王”的帽子。
故事发生在1637年。费马在阅读古希腊数学家丢番图的《算术》时，对书中一个关于勾股数的问题产生了浓厚兴趣。
提出猜想后，他在书页空白处写下了那句让后世数学家“咬牙切齿”的话：
“关于此，我确信已发现了一种美妙的证法，可惜这里的空白太小，写不下。”
在这里大伙还感觉没什么，直到数学英雄欧拉，数学王子高斯和弟子黎曼一个个铩羽而归。
难道说?费马其实是脚踢数学四天王的绝世天才?别逗你哥笑了，费马他哪个时代的啊，这么说吧，费马去世时就是牛顿奇迹年。
确实是需要亿点点的空白。
英格兰，普林斯顿大学。
天幕上关于ai破解数学难题的消息，像一根火柴，把他们面前那堆干柴彻底点燃了。
“通用推理模型，”曼用手指敲著桌面，眼睛发亮，“不是专为数学打造的，却能跨界连接代数数论和组合几何。”
图灵没有说话。他的笔在笔记本上飞速移动，一串串符号和逻辑表达式像流水一样从笔尖淌出来。
图灵测试，那个刚才还只是个模糊念头的想法正在他笔下变得具体、清晰、可操作。
“你已经开始写了？”
图灵没有抬头，只是“嗯”了一声。笔尖没有停。
未来的大道，在他们面前，正一寸一寸地拉开帷幕。