OpenAI公布372项数学成果，包括722份手稿，并声称解决Top 500数学问题中约90个，其中包含Barnette猜想。多数成果来自“一次提示交给一个智能体”的工作流。但提示词、逐题算力、失败率和人工干预程度未公开，外部无法独立评估。学界与AI治理组织AGMAI呼吁不得把数学成果当作模型营销工具。事件显示大模型在长程推理和科学探索上的能力叙事正在增强，但可验证性成为争议焦点。
关键要点
- OpenAI声称解决Top 500中约90个数学问题
- 提示词与逐题算力未公开
- AGMAI呼吁限制营销化使用
