夜雨聆风先声明，我不是数学人，所以这一篇基本就是吃瓜视角，可能还吃不太正，凑合看吧。短视频时代显得略长，适合上班时候看，猛猛带薪摸鱼。 我先来第一人称视角分享一下吃到的这个瓜： 首先是北京协和医院，有个实习生，金山木。金医生本科北大，学地质的，后来通过传说中董小姐那个4+4计划转学医了，神经外科。我这里不太懂为什么还有神经外科，因为神经在我眼里纯纯内科。这里我们也不再讨论4+4，感觉是非曲折，难以论说。北大的还是优秀，当然，在互联网上还是得练。 金医生在研究一个【经颅超声】问题时，涉及到一些矩阵的问题，需要用到数学，于是又自己猛学了学数学。那么什么是经颅超声呢？大概相当于给脑血管做B超。反正我也不懂，先这么大概吧。
金医生深入了下数学，发现一个Crouzeix猜想，猜想的内容是：【对于任意矩阵和任意多项式函数，矩阵经函数作用后的范数不超过该函数在矩阵数值域上最大值的两倍】。反正我也不想看懂，就这么着吧。
Crouzeix音译我感觉应该是【克鲁泽克斯】，但官方一点是【克鲁泽】或者【克鲁泽厄】，这是个法语词，可能法语和英语发音区别的影响吧。这个猜想因提出者Michel Crouzeix得名，米歇尔·克鲁泽，法国数学家。
数学上的很多猜想，我觉得其实基本就是能用了，但不完全知道为什么能用，也不知道是不是一直能用，所以还叫猜想。搞数学的都不满足知其然，还要知其所以然，要证明成立或不成立。
猜想【如果成立，我们就能把复平面上的标量逼近误差，直接转化为矩阵函数的范数界。这对于分析矩阵函数、GMRES迭代法以及Krylov子空间方法等有着决定性的意义】，充满术语，真是奇妙的语言。
总之，最后这个Crouzeix猜想结论是什么什么2倍，也就是要证出来个算式=2（准确说应该是小于等于）。2007年，Crouzeix本人做到了11.08；2017年，美国数学研究所开了一周会，Crouzeix与合作者Palencia干到了2.414。我挺好奇净工作时长有多久，他们开会是不是也花时间猛吃小零食？然后，不到2027，就在2026夏天，金医生带着GPT-5.6 Sol把2干出来了。这里我们也不追究此过程中有没有进行翻墙之类的坏行为。
openai之前攻克另一个猜想时候弄过一个提示词，金医生借鉴了下，大致就是让ai断网运算以免受失败案例污染；然后弄一堆程序多面尝试（穷举？？？）；然后自己审查自己；然后一直跑。ai跑了16小时，然后给了个结果。8天后，另外俩数学家，Lorist和Schwenninger，给出了pro版，更简洁。
以上是故事背景。 听朋友说，西交有个学者，张腾，搞数学的，博士生，很厉害。他本来在做Sendov猜想，搞到了一个比较深入的地步，结果ai先他一步，把猜想干碎了，把他的道心也干碎了。拎着ai搞掉Sendov猜想的那位，大概和数学沾边比较多，故事性弱一点，所以我这种圈外人或者说门外人没看到相关故事。而张腾老师的导师在搞Crouzeix猜想，就是我刷到的这个，搞了几年，结果也被ai干碎了，还是医生这种跨专业的干碎的，故事性就强。我感觉张腾老师的数学道心可能随之又被猛猛干碎了一次。要是个文...还是算了。
张腾老师看了下金医生的证明过程和金后8天两位数学家给出的pro版，基本可以判断，1.金医生缺乏猜想那块的数学知识，至少没有受过古法训练。ai整出来的东西确实经常显得能跑但人机。2.另外俩数学家的pro版应该是照着金医生那个思路走的。3.ai搞证明过程中走出了【神之一手】，大概是，本来大家都在往2逼近，但是ai另辟蹊径，直接走了一步反证。
巧的是，我正好因为另外的八卦之心而访问了陶哲轩的网站。我跟朋友开玩笑，因为我名字里也有个Tao，我问朋友，如果我想在有生之年和Terence Tao并称二Tao，我上升和他下降哪个更难。朋友想了想，甚至还是他下降难。我叹息曰，他不过来，只能我过去了。
听完【有个叫张腾的数学人道心被ai干碎了】，然后点开陶哲轩博客，就看到首页一串Teng Zhang和Terence Tao谈笑风生的记录。这名字怎么这么熟，一看，对上了，大受震撼，本来就认识个陶哲轩，这下有参照系，略知道张腾有多牛了。
几年的浸淫，最后天下无敌天外来敌，被干碎，确实伤心。但我看张腾老师的小红书资料写的是00年，还年轻。00年顺风顺水都应该博士毕业了。而我98年的，这几年虽然也蹉跎，但基本是白蹉跎，光破碎了，都很难讲破碎的是道心。而且我也不是被ai干碎的，是被傻逼整疯的。
八卦张腾老师时候发现，他小红书除了探讨了一些数学感悟外，还有王者荣耀的匈牙利第一杨戬成绩。理了下时间线，大概是一边拿下第一杨戬，一边道心破碎，一边和陶哲轩谈笑风生，真是高密度的精彩生活。乍一看三项里道心破碎是最容易接近的，实则道心破碎的前提是人家有道心。
跟一个数学专业的朋友聊起这事。这位朋友是我心里最数学的数学人，甚至连长相都有几分像陶哲轩。朋友对ai干碎数学道心这事不意外，讲了个很有意思的类比：
“其实很多人就是意识到的比较晚——可能ai面前，自己上限也就是一种柯洁。”
（本文内容基于公开资料，本人数学水平完全门外，如有错误我也没辙。涉及到人物信息均基于公开可查看的内容整合，如有冒犯，可修改删除）