OpenAI 一次性发布 722 篇数学证明，随后撤回其中 3 篇并修正 14 篇

OpenAI 一次性公开了 722 份数学理论证明，分为 377 组问题，素材来自 4,000 个未解决数学问题交给其未发布的新模型尝试求解。部分证明与计算机领域直接相关，例如矩阵乘法的 Big-O 复杂度新界限，不少证明附有 Lean 语言代码。目前 OpenAI 已发现 3 份报告存在错误而撤回，另有 14 份正在修改，剩余报告仍开放继续审查。