AI 与科技 / 晨间研究发布
数学稿件公开了，但“发布”还不等于“证明成立”
OpenAI 在北京时间10月7日06:19宣布公开内部模型产生的数学成果。其仓库当前列出722份稿件、372个关联问题族；约4000是模型尝试的问题数，不能写成4000项已经证明的定理。
同一个问题族可以包含主结果、补充论证、推论或替代证明，因此稿件数也不等于独立突破数。公司同时公开部分 Lean 形式化证明、10份推理摘要与计算用量说明；Lean 让计算机检查形式化证明，仍须看具体命题和假设。
仓库明确说核验阶段不同，未形式化的结果可能有问题，后续修订会保留旧版本。模型尚未公开；平均每项结果约相当于三小时 ChatGPT Pro 思考计算量，是其披露口径。本报核对的是目录和发布规则，未逐篇检查证明，不能据此宣布黎曼假设等难题已获解决。
出处与继续阅读
主编加工 · 来源与限制见正文
取材线索来自已核对关注账号：@OpenAI。