OpenAI 一天发布 722 篇 AI 数学论文，Readable Intelligence 做可读版
songyoupeng · x · 2026-10-20
OpenAI 一次性发布了 722 篇 AI 生成的数学论文（证明手稿），涵盖代数几何、数论、PDE、理论计算机科学等方向，包括唯一博弈定理上界、矩阵乘法指数 9/4 上界、时空 Penrose 不等式等成果。
第三方项目 Readable Intelligence 随之上线：通过为论文重写「可读版本」、绘制论证结构的 paper map、提供可追问每一步推理的 AI 助手和社区共读机制，帮助人类真正读懂这些机器生成的证明。目前 722 篇中仅有 6 篇完成可读化。
核心观点：证明可以终结一个问题，但理解它才能打开一千个新问题——AI 数学成果的瓶颈正在从生成转向人类可理解性。
「模型」频道最新
- 新决策模型 basal-omni-1.0-ultra 号称逼近前沿智能且成本极低 — tristanbob · 2026-10-20
- 新论文推翻旧结论：推理模型其实能很好地控制自己的思维链 — dair_ai · 2026-10-20
- 同一知识库问三家：Claude、NotebookLM、ChatGPT 检索风格实测对比 — kbavandi · 2026-10-20
- 时隔434天复测:ChatGPT与Claude仍无法渲染JavaScript内容 — gaganghotra_ · 2026-10-20
- 第三方评测：Dream-1 机器人控制便宜 16 倍、快 1.7 倍登顶 RoboDojo — scott_e_reed · 2026-10-20
- 花 0.08 美元实测 DeepSeek 搜索 API：权威分靠主机，垃圾过滤漏网 — gaganghotra_ · 2026-10-20