OpenAI 公开新数学结果的 Lean 证明与推理过程
OpenAI · x · 2026-08-04
OpenAI 表示将公开这些新数学结果对应的 论文稿、Lean 形式化证明证书和推理过程，让研究者能够检查证明并在此基础上继续推进。
公司称结果覆盖 球体填充、编码理论、群论、量子复杂性、格密码、极值组合 等领域，其中包括 非 sofic 群的存在性，以及对高维球体填充某些上界的 指数级改进。
所属事件:OpenAI公开Astra数学证明与推演手稿(4 条相关)→
「模型」频道最新
- 开发者:除顶尖专家外,编码模型在软件各领域已全面超越人类 — zack_overflow · 2026-10-16
- 爆料预测:中国前沿模型或 2027 年 3 月追平 GPT-6 级别 — teortaxesTex · 2026-10-16
- Liquid AI 决策模型 d1-ultra 上线 Vercel AI Gateway — JosephJacks_ · 2026-10-16
- DeepLearningAI 周报:Haiku 5.5 降价九成、Gemini 4 Argon 输出上限升至 1M — DeepLearningAI · 2026-10-16
- 腾讯混元回应 agent 争议:系第三方模型评测中的意外浏览行为 — TencentHunyuan · 2026-10-16
- 律所实测：Claude 力压 Legora 等付费法律 AI 工具 — jkubicki · 2026-10-16