中国医生用ChatGPT破解数十年数学难题，震惊数学界

北京一位神经外科医生，在试图解决脑部超声相关问题时，意外借助人工智能攻克了困扰全球数学界二十余年的难题。这一消息近日在国内外学术圈引发热议，也让外界再次聚焦AI在基础科学领域的惊人潜力。 这位医生名叫金善木，是北京协和医学院的博士后研究员兼住院医师。据报道，他并非数学科班出身，而是一名自学成才的数学爱好者。今年8月，他在使用OpenAI最新旗舰模型GPT-5.6-Sol时，通过ChatGPT Work平台进行了一次长达16小时的自主运行，最终成功证明了Crouzeix猜想——一个自2004年起就悬而未决的数值线性代数问题。该猜想由法国数学家Michel Crouzeix提出，核心在于矩阵函数范数与数值范围最大值之间的不等式关系。尽管表述抽象，但它在矩阵分析领域具有基础性地位，长期吸引着全球顶尖数学家的关注。 金善木的突破并非偶然。他在进行经颅超声研究时偶然涉足矩阵分析领域，发现这一数学工具对优化超声成像算法至关重要。然而，传统证明路径复杂且耗时，他尝试将问题拆解后交给AI进行推理和验证。GPT-5.6-Sol在长达16小时的自主运算中，逐步构建出严密的逻辑链条，最终完成了证明。这一过程不仅验证了AI在复杂数学推理中的能力，也展示了人机协作在科研中的新范式——人类提出问题和方向，AI负责大规模计算和逻辑推演。 这一事件的影响远不止于数学界。对于中国跨境电商卖家和AI从业者而言，它释放出几个重要信号：其一，AI工具已从简单的文本生成、图像处理，进化到能够处理高度抽象的符号推理和科学证明，这意味着AI的应用边界正在快速扩展。其二，金善木并非顶级数学家，却借助AI完成了专业领域内专家多年未竟的工作，这预示着未来科研和工程领域的门槛可能因AI而大幅降低，个体借助强大工具也能实现突破性创新。其三，OpenAI的GPT-5.6-Sol在长时间自主运行中的稳定性和推理能力，表明AI代理（Agent）技术正在走向成熟，未来在跨境电商的选品分析、供应链优化、多语言客服等场景中，类似的长时程自主任务执行能力将极具商业价值。 当然，也有数学界人士对AI证明的严谨性和可复现性提出质疑，认为AI生成的证明仍需人类专家逐行验证。但无论如何，这一事件标志着AI在基础科学领域的参与已从辅助工具上升为协同研究者。对于中国出海企业而言，这既是技术趋势的提醒，也是创新思维的启示：在AI时代，跨界突破和工具赋能可能比传统路径更值得关注。