AI联手破解25年数学难题

据报道，这道数学难题最初由一位博士研究员在其博士论文中提出，由于涉及高度复杂的非线性方程和拓扑结构，传统数学方法始终无法给出完整证明，悬而未决长达25年。GPT-5.6作为OpenAI最新一代大语言模型，在Fable团队提供的强化学习框架和领域专用数学语料支持下，通过多轮迭代推理与符号验证，最终输出了一套完整的证明步骤。该证明不仅包含了人类未曾想到的引理组合，还发现了先前未被注意的对称性条件，使得整个问题得以收束。Fable团队在技术报告中披露，GPT-5.6使用了约1.8万亿参数，并针对数学推理任务进行了专项微调，推理过程中调用了专门的符号计算引擎（如SymPy、Maple）进行辅助验证，最终成果已通过同行评审并发表在顶级数学期刊。这一突破被认为将极大推动AI在数学定理证明、物理方程求解等基础科学领域的应用，同时表明大模型在抽象推理方面已接近甚至超越人类专家水平。