中国医生借助ChatGPT攻克数十年数学难题

中国医生用ChatGPT破解了困扰数学界二十多年的难题，这一消息在国内外学术界引发热议。北京协和医学院博士后金善木，凭借OpenAI最新推理模型的辅助，成功证明了著名的Crouzeix猜想。这个猜想由法国数学家Michel Crouzeix在二十多年前提出，核心内容是：任何函数作用于矩阵后，其结果不会超过该函数最大值的两倍。虽然听起来抽象，但这一猜想在矩阵理论、数值分析和计算机科学中都有重要应用，长期悬而未决，成为数学界的一块硬骨头。 金善木的学术背景颇为特殊：他本科读的是地质学，后来转攻医学，目前从事经颅超声研究。他并非数学科班出身，却因为研究需要接触矩阵运算，进而对Crouzeix猜想产生兴趣。在ChatGPT的辅助下，他不仅理解了问题的深层结构，还找到了完整的证明路径。7月底，他将论文提交至学术平台，随后被康奈尔大学数学家Alex Townsend发现。Townsend原本也在用GPT模型尝试解决同一问题，却在7月30日被ChatGPT告知“该问题已于三天前被解决”。他随即审阅了金善木的论文，并与华盛顿大学教授Anne Greenbaum以及猜想提出者Crouzeix本人共同验证，确认证明无误。虽然论文尚未经过同行评审，但多位专家已认可其正确性。 这一事件的意义不仅在于数学难题的攻克，更在于AI工具对专业研究门槛的颠覆。过去，解决这类问题需要深厚的数学训练和多年积累，但金善木借助ChatGPT，在缺乏专门背景的情况下完成了突破。OpenAI此前也透露，其内部测试的通用推理模型曾解决匈牙利数学家Paul Erdos在1945年提出的平面单位距离问题。本月早些时候，OpenAI还列出了其新一代模型Astra已接近解决的另外10个数学难题。对于跨境电商卖家和AI从业者而言，这一案例释放出明确信号：AI不再只是辅助工具，而是可以深度参与创造性推理和复杂问题求解的伙伴。无论是优化供应链算法、分析用户行为数据，还是处理多变量定价模型，类似ChatGPT的推理模型都可能成为突破瓶颈的关键杠杆。金善木的经历也提醒我们，在AI时代，跨领域创新和“非专业”视角反而可能成为竞争优势。