众力资讯网

22年。一个神经外科医生,把数学界卡了22年的死题,交给AI跑了16小时,证出来

22年。一个神经外科医生,把数学界卡了22年的死题,交给AI跑了16小时,证出来了。

说真的,这人本科北大地质,半路转行学医,正经数学课只上过理工科那点基础,其余全靠自学。他做经颅超声研究时撞上矩阵分析,顺手就把困扰专家22年的Crouzeix猜想给捅破了——不是学霸用AI,是外行借AI削平了专家几十年的门槛。

认知增量在这儿:以前你啃不下的领域,现在AI能替你跑数万次假设、推翻重建,最后给的证明连猜想提出者本人都签字确认正确。但反过来看,专家熬出来的训练,价值到底还剩多少?

算笔账:这份证子还没过正式同行评审(预印本已更新到第4版),可巧的是,另一位数学家8天后用5页纸独立证了一遍,俩人全都用了ChatGPT 5.6。也就是说,顶级脑子也在借AI。

那你花几万块给孩子报的奥数班、自己熬的考研数学,是真学本事,还是给AI时代交的智商税?评论区聊聊,你最怕AI替你干掉哪门手艺。人工智能