OpenAI首发722篇AI数学手稿：准黎曼、4D挂谷都在列，但离“证明成立”还有三道关
真正震撼的不是一次抛出多少论文，而是数学界第一次要同时面对机器批量产出、形式化验证和专家注意力不足。
OpenAI公开内部前沿模型生成的大规模数学成果库，首发包含722篇手稿、372个成果族，涉及准黎曼猜想、四维…
GPT-6 Astra把素数间隔纪录推到186！但这不等于孪生素数猜想被攻克
从人类数学家的240，到Axiom公开的212、Claude相关工作的188，再到OpenAI论文给出的186：AI正开始进入数学研究流程，但“Lean验证完成”背后仍有三个明确前提。
OpenAI公布GPT-6 Astra参与完成的素数间隔研究，将H1上界推进至186，并开放论文、Lean 4…