OpenAI一次公开372项数学成果，包括722份手稿，声称解决Top 500中约90个问题，含Barnette猜想。多数成果来自一次提示交给一个智能体，但提示词和逐题算力未公开，外部无法复现和评估成本。AGMAI呼吁不得把数学成果当作模型营销工具。争议焦点在于AI数学贡献的可验证性、算力成本披露以及模型能力边界。大模型科研应用正从演示走向需要严格审计的阶段，未来若进入学术评价，必须建立可复现、可计量、可追溯的标准。
关键要点
- OpenAI称解决Top 500数学问题中约90个
- 提示词和逐题算力未公开引发复现困难
- 学界呼吁避免把AI数学成果当作营销工具
