10月26日消息，OpenAI 内部大模型产出了数百篇 AI 生成数学研究论文，但原始机器证明文本晦涩难懂，普通科研人员阅读、理解 AI 推导过程门槛很高。Readable‑Intelligence 平台就此诞生，专门面向人类理解，对 OpenAI 机器产出的数学成果做可读性重构，打通 AI 数学证明与人类数学家之间的理解鸿沟GitHub。

OpenAI 公开集合共计 722 篇 AI 生成数学手稿，覆盖数论、组合数学、理论计算机、微分几何、数学物理等众多方向，其中包含多项针对长期悬而未决公开数学问题的证明、上界推导、猜想结果；但原始 AI 稿件行文风格机器化，逻辑链条不直观，不利于人类校验、吸收、复现 AI 得到的数学结论GitHub。

AI 已经能够独立产出前沿数学猜想的证明，但 “生成证明” 不等于 “人类看懂证明”，机器证明校验、理解已经成为 AI 数学领域一大现实瓶颈。Readable‑Intelligence 尝试解决这一痛点，为数学家校验 AI 数学成果提供工具，助力推进 AI‑数学家协同科研范式。

Readable‑Intelligence 定位就是 AI 求解数学，人类完成理解。平台收录 OpenAI 这批 AI 数学论文，产出 “可读改写版本”，配套辅助工具，帮助数学家看懂 AI 的证明思路。当前已经完成 6 篇重点论文的可读性改写工作。

平台核心能力

1. 可读重写版本（Readable Version）

针对原始 AI 论文进行改写，优化行文逻辑，把晦涩机器化证明转化为更贴近人类数学家写作习惯的文本，原始论文与改写版可以对照阅读。

2. 论文逻辑图谱 Paper map

可视化展示证明内部各个论证环节之间的逻辑依赖，直观看清每一步推导如何串联得到最终结论。

3. 交互式 AI 助手

研究者可以针对证明中的任意步骤提问，AI 辅助解释推导细节，厘清卡点。

4. 社区协作阅读

搭建社区阅读环境，支持研究者共同研读、讨论 AI 生成的数学证明。

当前已上线重点改写论文列表

- 《The Unique Games Theorem》（独特游戏定理，理论计算机方向）

- 《An Upper Bound of 9/4 for the Matrix Multiplication Exponent》（矩阵乘法指数 9/4 上界）

- 《The spacetime Penrose inequality and enclosing area》（时空彭罗斯不等式，数学物理）

- 《A power saving for planar unit distances》（平面单位距离问题，组合几何，OpenAI 知名成果）OpenAI

- 《Almost‑Linear‑Time Maximum‑Cardinality Matching in General Graphs》（一般图近似线性最大基数匹配）

- 《Exact derandomization of logarithmic space: L = RL = BPL》（对数空间精确去随机化证明）

平台按照代数、几何、组合、泛函分析、数论、理论计算机科学等学科对全部论文做分类索引，方便检索浏览。