开发者用 AI 接力 OpenAI 数学新发现,用 Lean 验证出 13 维最优结果并开源
Moretheevu · reddit · 2026-10-08
作者尝试用 AI 不只是解释 OpenAI 近期发表的数学研究,而是继续推进,最终产出两个开源项目:
- 新的数学结果:OpenAI 曾证明一种 10 维形状上的奇特几何效应成立;作者借助 AI 进一步证明,在该形状家族中 13 维是最优维度。
- 实用科学工具 curveball-error-budget:研究人员常用“打乱网络”检验观察到的模式是否只是巧合;作者基于新数学构建了一个工具,可以计算达到指定误差界所需的最少打乱次数,替代以往的凭感觉估算。
两个项目的证明均用 Lean 形式化验证系统逐步校验(第二个项目的软件本身未做到端到端形式化)。作者坦言本没指望有产出,并指出形式化验证虽不能证明结果的新颖性,但大幅提升了数学结论的可信度。
所属事件:开发者用 AI 接力 OpenAI 数学发现，13 维最优结果经 Lean 验证并开源(2 条相关)→
「研究」频道最新
- 研究者爆料:某新模型疑似采用连续扩散,架构内置潜空间思考循环 — mblondel_ml · 2026-10-10
- 机器人自选弱项练习,FIND 六小时练成 8 任务成功率 71.9% — GeorgiaChal · 2026-10-10
- 陶哲轩博客刊文谈 LLM,同周 OpenAI 宣布内 LLM 证 Navier-Stokes 结果 — gleech · 2026-10-10
- COLM 2026 将办非自回归语言模型工作坊,聚焦扩散 LLM — LucaAmb · 2026-10-10
- LeCun 创业公司 AMI 交卷:H-JEPA 分层世界模型迷宫成功率 73% — 量子位 · 2026-10-10
- 跑 100 次编码 Agent 实验：共享知识层让通过率从 10% 升到 60% — BadPuzzleheaded5764 · 2026-10-10