AI连破两大数学猜想，跨界玩家成破局关键_科学技术

1. #协和医生破解22年数学难题论文被扒#金山木借助GPT-5.6完成Crouzeix猜想证明，确实给人一种打开新世界的感觉。这个困扰数学界22年的问题，从2004年提出到如今终于迎来突破，光是这份坚持就很有分量。更特别的是，他本身是神经外科医生，却能把医学训练中的严谨、拆解和验证思路带进数学研究，再和人工智能协同探索，跨学科的碰撞太有启发性了。这份证明目前以预印本形式发布，正式评审还需要时间，不过猜想提出者Michel Crouzeix本人以及相关数学家已经审阅并认可论证，两位荷兰数学家随后也用不同路径完成互证，这让结论有了更多参考价值。GPT-5.6并不是简单代替研究者完成答案，而是被组织成多个研究角色，同时推进推导、检验和形式化验证。提示词、代码与过程公开出来，也方便更多人继续核查和改进。金山木的经历说明，人工智能正在改变知识探索的方式。专业训练当然重要，但好奇心、耐心和清晰的提问同样不可缺少。过去需要多年积累才能触碰的领域，如今多了一种新的协作可能，医生、工程师、研究者都能借此走向更远的地方。答案是否还要经过更多检验，可以交给时间和学界，但敢于跨出熟悉范围，并把完整过程开放出来，本身就很有力量呀！协和医生破解22年数学难题论文被扒

2. 【AI“杀死”数学家？邓煜：别急着落子】在接受CGTN主持人田薇的专访时，2026年#菲尔兹奖#得主#邓煜#谈及AI与数学研究的未来。他表示，面对AI带来的变化，不必过度焦虑：“别急着落子”。AI的突破并非数学研究的终点，而是人类探索新知的新起点。只要能理解AI的推导，我们就能在其肩膀上开拓新知。AI越强，#数学#研究的“加速器”就越强；而AI变得更强，也将帮助人类变得更强。 In an exclusive interview with CGTN, 2026 Fields Medalist Deng Yu shared his thoughts on the future of AI and mathematical research. He believes there is no need to be overly anxious about the changes AI is bringing: "Hold your horses." AI breakthroughs are not the end of mathematical research, but a new starting point for human discovery. The stronger AI becomes, the more powerful an accelerator it can be for mathematical research, and the stronger it can make us, too. CGTN的微博视频

3. 最近全网吵翻的这个瓜，实在太魔幻了协和神经外科医生金山木，也就是网传董小姐的同班同学，本科北大地质学，走协和4+4项目拿到医学博士，现在是住院医师博士后。他业余时间靠GPT‑5.6，号称16小时运算，给出了Crouzeix猜想的完整证明，这个猜想可是卡了数学界整整22年，2004年提出来之后无数大佬都啃不动。猜想原作者Crouzeix，还有国外两位该领域专家看完预印本，都说论证逻辑看上去没问题，评价是“震惊”。后续还有另外数学家独立给出另一个版本证明，算是侧面互相印证。但这只是预印本，还没有走完正式期刊同行评审，还不能说100%盖棺定论。可有意思的来了！一部分人直呼传奇！完全跨圈，没科班数学训练，全靠自学+AI，打破学科壁垒，AI科研的典型案例。另一波网友直接扒出他当年的博士论文！正文只有十几页，课题是胶质瘤生存预测模型。总共102例病历，只给15个人做了基因检测，剩下87例直接放弃。用上一堆听着很高级的机器学习算法，最后模型C‑index只有0.652，仅仅比抛硬币0.5强一点点，却写成可以用于临床参考的工具，被很多人吐槽。一边是号称攻克世界级数学猜想，一边是临床博士论文被质疑数据、模型说服力不足，这！多少有点尴尬。冰彬兵的微博视频

4. AI宣布森多夫猜想告破！陶哲轩发现它隐藏的更强结果

5. //@高飞://@科普君XueShu雪树:协和这个医生金山木相当牛逼。不要因为他使用了人工智能就低估。一大堆数学家同样都在用人工智能，为什么偏偏是他解决？因为他厉害。这某种程度上可以类比于当年音乐家赫歇尔借助望远镜发现了天王星。

6. 突发，Claude首破黎曼猜想新纪录

7. Claude 改写数学下界，AI 距离攻克百万美元世纪猜想还有多远？

8. Claude在黎曼猜想取得进展，零点比例下界干到67.2%

9. 数学圈炸了！折磨全球数学家22年猜想，被协和神经外科医生终结了 7月30日，美国数学家Alex Townsend照常打开学术网站arXiv，一篇论文让他当场屏住呼吸——折磨数学圈22年的Crouzeix猜想被人证明了。作者不是数学院士，而是北京协和医院神经外科住院医师金山木。这哥们本科读的是北大地质学，后来通过协和“4+4”转医学博士，数学全靠自学。他用的工具是OpenAI的GPT-5.6-Sol，设定好提示词后按了回车就去忙临床了，AI自主运行16小时，经历数万次试错后给出了证明。Crouzeix本人亲自审阅后确认正确。要知道这个猜想2004年提出后，2007年Crouzeix自己只证到常数11.08，2017年全球顶尖专家开一周研讨会才压到2.414，离目标“2”始终差一口气。你想想，一个天天给人开颅的医生，抽空自学数学，用AI把全世界数学家按在地上摩擦了22年的题给解了。我们普通人还在纠结日常生活，人家已经跨界降维打击了。当学科壁垒被AI一脚踹开，未来真正值钱的，到底是死磕一个专业，还是能把八竿子打不着的领域接到一起的能力？

10. 吃饱了饭想，网传Claude将黎曼猜想#黎曼猜想# 取得了历史性的突破，花了一天时间用AI研究Claude发布的这篇文章，大意是说#anthropic# 这家公司一个研究员吃饱饭了撑着纯粹用AI Agent来研发黎曼猜想的思路，大概花了几千块的算力，成功将黎曼猜想的非平凡零点个数推演出大于67.52% ，也就是2/3以上的素数都分布非平凡零点的域上，这个比二十年前最好的结果40%多出来20%多，而其中主导团队就是一个非数学家和AI在合作。首先，不是搞数学的人很难理解黎曼猜想，比如像我这样的外行就花了一整天来了解黎曼猜想的来龙去脉。这个结果不是证明了黎曼猜想，而是拓展了非平凡零点数量的下界。大概率来看黎曼猜想一百年来大家都认为他肯定是对的，而且即使他是错的，其中反映出的素数分布规律已经足够证明这个猜想的价值深远。其次，我们看看这次的证明，上次我说过张益唐为了解决黎曼猜想的一个延伸问题，也就是素数分布间隙问题，花了几十年总算有结果，回国后也收到了中山大学教职。这次证明的技术路线选择了最酷炫的希尔伯特-波利亚猜想，是将黎曼猜想与量子物理对应的最好假说。以weil二次型作为半正定型判据来推导非平凡零点，即临界线上的零点带来“正方向”，偏离临界线外的零点会产生“负方向”。因此AI通过把无穷维问题压缩成有限维矩阵，利用惯性定理数清楚正、负特征值的数量，靠秩‑迹不等式算出：至少67.2%的零点落在临界线上。所以说，这个论文不是彻底解决百年猜想，但把下界从41.6%推上新台阶，把数论问题转化成漂亮的线性代数计数游戏，这本身是一个巨大进步。然后神奇的版本来了，我尝试着用了将近四五十个子Agent试图继续拓展下界，大概探索了两三种大的方向，包括用三次型来构建矩阵，构建压缩更好的gram矩阵,等等办法，每次临近下界要突破的时候就停止在2/3这里走几步不行了，大部分情况下是下界计算结果比ai计算的结果还要差一些。是否其实黎曼猜想搞错了，并不是所有素数都满足。陶哲轩曾经说过，黎曼猜想的功课需要新的数学工具，就像黎曼通过在级数收敛和欧拉乘积之间引入复数而发明了解析数论这个强大的数学分支，后来在信号处理和量子物理排上了用场，数学的超前性和对世界的预测是非常有意思。

11. AI破解黎曼猜想？Claude提升25.6个百分点，但核心难题纹丝不动

12. 数学圈炸了！折磨全球数学家22年猜想，被协和神经外科医生终结了

13. 22年的世界级数学难题，被一个拿手术刀的协和医生用AI破解了!

14. AI攻克50年数学难题却不“懂”？黎曼猜想人类还能守住吗

15. 60个AI协作推进黎曼猜想，却不会自己选题？

16. 手术刀跨界数学！协和医生靠AI攻克22年世界级难题

17. 怎么看AI突破黎曼猜想下界。数学圈的朋友今天都在聊一件事：AI跑去挑战黎曼猜想了。虽然没直接拿下这个世纪难题，但它顺手把临界线上零点比例的下界推到了67.2%，直接刷新了之前的纪录，看得人一愣一愣的。这波操作不是瞎蒙，而是把近年的数学成果重新组合了一下。不过我听说还没过同行评审，能不能站住脚还得再等等。但话说回来，AI能在纯数学这种最烧脑的领域搞出动静，已经够让人兴奋了。说不定哪天，它真把黎曼猜想给解了，那画面我都不敢想。

18. 刚刚，中国AI交卷！40年难题56分钟破局，AI不再「学习」

19. 当算力遇见未解之谜：AI架构革新能否叩开科学\

AI连破两大数学猜想，跨界玩家成破局关键

精选参考来源