神经外科医生用16小时的GPT-5.6运行证明了困惑数学家22年的猜想

数学家亚历克斯·汤森德近一年来一直在要求ChatGPT证明克鲁瓦泽克斯猜想，但该模型给出的证明要么是虚假的，要么不完整。2026年7月30日，ChatGPT返回了一个三天前发布的预印本链接，声称有解决方案。汤森德和他的同事安娜·格林鲍姆带着怀疑态度阅读了它，很快意识到它是真实的。作者金善武博士是一位神经外科住院医师和博士后研究员，并非专业数学家。他在研究经颅超声时对克鲁瓦泽克斯猜想产生了兴趣，并在与ChatGPT Work中的GPT-5.6 Sol进行的一次16小时自主会话中制定了证明策略，期间没有联网。该模型使用了多种策略组合、对抗性审计，以及基于反例的排除法，这些都是在金的提示下进行的。该证明由汤森德、格林鲍姆和米歇尔·克鲁瓦泽克斯独立验证，后来数学家埃米尔·洛里斯特和费利克斯·施文宁格又用另一种不同的证明对其进行了强化，他们也使用了ChatGPT 5.6 Pro。此案例凸显了数学发现中的范式转变，并对同行评审的可持续性提出了问题。