OpenAI 一次放出 377 项 AI 数学成果：准黎曼假设、矩阵乘法指数降至 2.25
## OpenAI 一次放出 377 项 AI 数学成果 OpenAI 公开了一个由内部前沿模型生成的数学成果合集：722 份手稿、372 个「结果家族」，覆盖数论、代数、拓扑、逻辑与理论计算机科学。据称模型面对约 4000 个开放数学问题，幸存下来的成果被整理发布。 **要点** - **准黎曼假设**：证明黎曼 z
标签「定理证明」下的文章
## OpenAI 一次放出 377 项 AI 数学成果 OpenAI 公开了一个由内部前沿模型生成的数学成果合集：722 份手稿、372 个「结果家族」，覆盖数论、代数、拓扑、逻辑与理论计算机科学。据称模型面对约 4000 个开放数学问题，幸存下来的成果被整理发布。 **要点** - **准黎曼假设**：证明黎曼 z