OpenAI纳维-斯托克斯证明被指代码翻译与人类版本不一致
RecodeX 重构消息，OpenAI此前宣布给出纳维-斯托克斯问题的意外解法，并分别提供了面向人类阅读的证明和面向计算机验证的证明。但最新披露指出，这两份证明并不匹配，原因是OpenAI在将数学内容翻译为代码时出现错误。
事件追踪 · 持续发展中
OpenAI数学手稿公开
持续追踪OpenAI数学手稿公开相关报道与进展。
关注仅保存在当前浏览器和域名中，无需登录，不会自动跨设备同步。事件时间线
按最新发布排序OpenAI公开722篇AI生成数学手稿，其中3篇已撤回
RecodeX 重构消息，OpenAI公开了由内部前沿模型生成的数学研究手稿，共722篇，被归入372个结果组，覆盖数论、代数几何、解析学和理论计算机科学等领域。模型共被提出约4000个问题。
公开仓库目前保留719篇手稿，变更记录显示已有3篇被撤回、14篇被修改。约42%的顶级结果已用Lean形式化，数学界对全部结果的评估仍在进行中。OpenAI还公开了部分证明的Lean形式化、10份推理摘要以及算力估算。