OpenAI 发布 722 篇 AI 生成的数学论文

OpenAI 发布了 722 篇由其未公开 AI 模型生成的数学论文，覆盖约 20 个数学子领域，包括对黎曼猜想的准猜想证明、矩阵乘法极限的明确定义、整数乘法新算法，以及与偏微分方程相关的多个证明。部分论文包含 Lean 代码片段以供计算机验证，OpenAI 计划进一步发布更多 Lean 证明并资助相关研究评审项目。