返回每日动态模型OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果The Decoder：AI News（RSS）10月7日 16:54导读OpenAI 在 GitHub 发布了 372 个由内部前沿模型生成的数学结果，每个结果据称解决或实质推进一个开放问题，包括对主要计算机算法的改进和与黎曼猜想相关的进展。