OpenAI发布722篇数学论文，涵盖黎曼、霍奇、BSD等，数学家称读不过来

OpenAI于2026年10月6日公开内部未发布前沿模型生成的722份数学手稿，分属372个成果组，部分附有Lean形式化证明；但这些材料尚未全部独立核验，黎曼ζ函数相关结果也不等于证明了黎曼猜想，不能据标题认定BSD等重大猜想已被攻克。