据量子位报道，GPT-6 Astra 与一位非职业数学家合作，证明了一个悬置 57 年之久的「摆圆」难题。该消息被归入「模型」类别，意味着这次结果被更多地视为大模型推理能力的一次验证，而不只是一项孤立的数学成果。
「摆圆」难题存在了 57 年，长期没有完整解答。此次结果的特别之处在于合作者的身份：一位非职业数学家，而非长期深耕该方向的专业研究者。如果这一证明成立，它说明前沿模型已经能在高度专业、需要长期积累的数学问题上为人类研究者提供实质性支撑——把「能不能想到」的门槛，部分转化为「能不能问对」的门槛。
对 AI 从业者而言，这条消息的价值大致有三层。其一，数学是推理能力的硬性试金石：结论可以被形式化检验，难以靠语言流畅度蒙混过关。其二，人机协作的分工正在变化，模型不再只承担计算与检索，而开始参与猜想构造与证明路径的探索。其三，它也给评估体系提出了新问题——当模型能够处理长期悬置的问题，传统基准测试是否还足以刻画其能力边界。
需要说明的是，目前公开信息有限：模型在证明中的具体贡献比例、证明的完整形式，以及是否已通过同行评议，均未见更多披露。因此更稳妥的态度是把它当作一个值得跟踪的信号，而非终局结论。真正的检验，仍在于该证明能否被数学界独立复现与接受。