OpenAI 公布数百项数学与理论计算机新进展，引发数学界对验证与透明度的争议

OpenAI 在 GitHub 公布了由未公开内部模型生成的数百个数学与理论计算机科学开放问题的解答进展，其中多项证明已通过 Lean 形式化验证。OpenAI 称多数结果仅依靠单个 AI Agent 单次提示词生成，但因未公开模型和具体提示词且仅提供平均计算时间，引发了多位数学家关于透明度与可复现性的质疑。