AI跨越新边界 破解数学谜题

图片来源说明：该图片由AI生成服务Midjourney提供

数学界迎来了一位强大的新伙伴。布鲁塞尔自由大学(VUB)的研究人员宣布，ChatGPT-5.2成功证明了数学家Ran和Teng在2024年提出的一个猜想——这是人类尚未完成的壮举。

改变一切的证明

这一成就的非凡之处不仅在于AI解决了一个数学问题，更在于它的解决方式。被称为"氛围证明"的过程涉及AI通过与研究人员的七轮对话和自我改进的四次迭代，独立探索解决方案路径。

"我们期待的是辅助，而非原创性，"VUB的Vincent Ginis教授承认道，"ChatGPT不仅仅是组合现有知识——它构建了我们前所未见的完整逻辑框架。"

从计算器到协作者

这一突破打破了关于AI在理论领域局限性的长期假设：

• 此前的系统只能验证证明而不能创造证明
• 数学创造力曾被认为是人类独有的特质
• 该过程需要的抽象推理能力超越了模式识别

其影响波及学术界和工业界。数学家们可能很快会减少在证明过程中的繁琐工作，而将更多时间用于问题表述和解决方案验证——有人将这一转变比作计算器对算术的改变。

这对科学意味着什么

VUB团队认为这标志着"情境化证明"的开始——即AI系统通过自然对话而非严格编程来发展论证。虽然人类监督仍然必不可少(最终验证由研究人员完成)，但发现的速度可能会显著加快。

正如一位数学家所说："我们没有被取代——我们被放大了。这就像有一个世界上最耐心、最聪明的研究生24/7与你并肩工作。"

关键要点：

• 首次独立证明：ChatGPT-5.2在没有人类方法指导的情况下解决了一个未解决的数学问题
• 新范式："氛围证明"将对话式AI与严谨的逻辑构建相结合
• 加速发现：AI可能极大加快理论数学研究速度
• 角色转变：人类数学家可能从证明创造者转变为验证者和问题提出者