OpenAI的GPT-6 Astra与一位非职业数学家合作，成功证明了困扰学界57年的「摆圆」难题，展示了AI在数学发现中的协同潜力。

详细分析

这则新闻的核心事件是GPT-6 Astra——OpenAI下一代大模型——与一位非职业数学家联手，证明了一个被称作「摆圆」的数学难题。该问题自1968年提出以来，57年间未获突破，属于组合几何或离散数学领域的经典公开问题。此次证明若经同行评议确认，将是AI辅助数学研究的又一里程碑。背景上，近年来AI在数学领域的介入日益深入：2023年DeepMind的AlphaGeometry解决了国际数学奥林匹克级别的几何题，2024年多个团队利用大模型辅助发现新的数学猜想或证明辅助路径。但此次不同之处在于，合作者并非职业数学家，而AI扮演了核心推理角色，这暗示大模型在形式化推理与创造性构造上的能力正在跨越临界点。从行业影响看，这一成果可能加速AI在基础科学中的渗透，尤其对数学、理论物理等依赖符号推理的学科产生示范效应。市场层面，OpenAI若将GPT-6 Astra定位为「科学发现引擎」，将直接冲击现有的AI科研工具赛道，如Wolfram、Lean社区以及多家AI4Science初创公司。竞争格局上，Google DeepMind、Anthropic以及中国的DeepSeek、月之暗面等均在探索AI数学推理，但GPT-6 Astra此次高调展示「非职业合作者+未解决问题」的组合，意在强调其通用推理能力而非窄域优化。意义在于，AI不再仅是计算加速器，而开始成为数学发现的平等合作者，这可能重塑学术合作的范式，并引发关于署名权、贡献认定和科研伦理的新讨论。

AI从「解题工具」跃升为「合作者」，数学界的署名与信任规则需要尽快跟上。

原文：量子位