OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果

OpenAI 在 GitHub 发布了 372 个由内部前沿模型生成的数学结果，据称每个结果解决或实质推进了一个开放问题。其中包含对主要计算机算法的改进，以及与黎曼猜想相关的进展。