# OpenAI 数学研究仓库收录模型生成的 722 篇手稿及配套验证材料

> 原标题：Mathematical manuscripts and supporting proof artifacts produced by OpenAI

- 来源：Hacker News 首页
- 发布时间：2026-10-06T22:22:48.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/tls4tc57laf39k7mo37p10z5s
- 原文：https://github.com/openai/math

## 摘要

OpenAI 的数学研究仓库收录了内部未发布模型生成的 722 篇手稿，按相关结果分为 372 个研究系列。评估期间模型接受了约 4,000 个问题，绝大多数结果采用同一流程生成，每项结果平均使用该模型 3 小时的 ChatGPT Pro 思考计算资源。许多手稿已有 Lean 形式化验证，但验证进度各异，尚未形式化的结果可能存在问题；仓库将持续补充形式化材料，并保留修订历史。

## 推荐理由

OpenAI 公开模型生成的数学手稿及配套验证材料，并交代结果所处的不同验证阶段，为理解这些研究产出的可靠性提供背景。

## 锐评

每项结果平均跑 3 小时 ChatGPT Pro 思考算力，这种成本普通团队根本跟不起。

4000 个问题筛出 722 篇手稿，没跑通 Lean 形式化的那些官方自己都认了可能带错。数学推导只要错一步整篇就是废纸，没有形式化锁死的内容我不买账。靠死堆算力刷出来的海量半成品看着挺唬人，真放到真实业务里，没人供得起这种消耗。