01
刚刚，数学圈炸了。
一个折磨了全球顶尖数学家22年的核心猜想，竟然被一位协和神经外科医生给解决了？
他通过自学数学，用ChatGPT 5.6自主跑16小时，终结了这个22年的数学悬案。这简直太魔幻了。
2026年7月30日，美国华盛顿大学应用数学系教授Alex Townsend像往常一样，打开了arXiv。
在此前的一年里，Townsend几乎形成强迫症式的习惯：他每隔一段时间就会向GPT 5.6提问，试图让它证明数值线性代数领域那个著名的悬案——Crouzeix猜想。
在过去几百次尝试中，AI给出的答案要么逻辑漏洞百出，要么在试图跨越某个关键引理时陷入僵局。人类在这个猜想面前已经撞墙了整整22年，AI似乎也并不比人类更聪明。
然而，这一天折磨数值线性代数界整整22年的Crouzeix猜想，被证明了。
作者不是数学家，是北京协和医院神经外科住院医师，Shanmu Jin。
0
评论 (0)