GPT-5.6 Sol 助力反驳存在百年的 Maxwell 猜想

有消息称OpenAI的GPT-5.6 Sol协助找到了存在超过百年的“Maxwell猜想”的反例,由人类数学家转述并整理成论文挂上了arXiv,这是AI在数学猜想证伪上的又一起标志性案例。

• 猜想被证伪而非证明:这次不是AI证明了猜想成立,而是找到了反例,说明该猜想不成立,这类“证伪”往往比“证明”对搜索能力要求更直接
• 人机分工模式:消息强调结果是“由人类数学家转述”,意味着AI负责搜索、构造反例,人类负责验证和形式化表达,而非模型独立完成整个数学证明
• 可公开可复现:相关内容已经挂在arXiv上,理论上其他数学家可以核验反例是否成立,这也是判断消息真实性和含金量的关键
• 延续同类叙事:此前已有AI协助解决数学难题的案例出现,这次针对的是存在百年的经典猜想,进一步强化了“前沿模型开始触及人类未解难题”的叙事
• 在核实数学界能否验证该反例之前,这类消息适合当作“值得追踪”而非“已成定论”来看待,但如果证实,会是AI辅助数学研究的又一里程碑。

本内容由 AI 生成，仅供参考，请注意甄别