GPT-5.6在Lean里补上凸优化证明
Charuru · reddit · 2026-07-18
这条 Reddit 帖称，在 OpenAI 发布 CDC 证明公告之后，GPT-5.6 用类似提示词推进了一个凸优化问题，补上了一个已有 30 年历史的空白，并且结果已经在 Lean 中得到验证。
它传达的核心信息是：该模型不仅能生成看起来合理的数学推导，还能在形式化证明系统里通过验证，说明其在数学推理与定理证明上的能力又往前迈了一步。
所属事件:GPT-5.6连破历史数学难题，证明能力大幅提升(10 条相关)→
「模型」频道最新
- 发帖人意外发现:v4.1 flash 在被要求控制 CoT 时反而更准确 — dfrsrchtwts · 2026-10-27
- 网友爆料 Anthropic 模型内置「破坏」机制，针对特定工程方式 — cephaloform · 2026-10-27
- 用户让 Gemini 列未读邮件，它却答「邮件里没这信息」 — gethackteam · 2026-10-27
- Meta Muse Spark Open 上线 Applied Compute，被评具强基座模型潜质 — ypatil125 · 2026-10-27
- 月之暗面发布 Kimi K3.1 Pro：3 万亿参数级开源模型主动限制黑客能力 — pstAsiatech · 2026-10-27
- Reddit 讨论:你会想要一个「永不妥协、坚持己见」的 LLM 吗? — GodComplecs · 2026-10-27