人类与人工智能协作，报告证明一道提出数十年的混沌难题

中国数学家报告称，已给出吉斯猜想三维情形的证明，并通过计算机核验。这一问题最早于1995年提出。团队将专家判断与人工智能模型相结合，构建了证明。

这一猜想将混沌与几何联系起来。概括而言，它探讨的是：某种特定的混沌运动，是否必然要求其所在的数学空间具有高度规则的结构。此次报告的证明针对三维情形，并非彻底解决整个猜想。

研究由大湾区大学教授许迪生带领，团队使用了上海人工智能实验室的Shusheng-S2模型。在七轮推理中，模型探索了多条路径，并生成详细论证。研究人员从中识别有前景的思路，排除无效路径，并引导下一轮探索。

北京大学的另一支团队将论文的四个主要定理转换为可由计算机核验的形式。这些证明通过了Lean的检查，该系统能够逐步核验数学推理。专家还确认，形式化表述与论文中的表述一致。

研究已作为预印本发布于arXiv，验证代码也已公开，供其他人审查这项工作。