研究技术2026-10-12 11:26OpenAI发布前沿模型数学成果合集，含722篇手稿#OpenAI#数学研究OpenAI发布由内部未公开前沿模型生成的数学成果合集，收录722篇手稿和372个结果系列，许多证明已用Lean形式化验证。阅读全文 →