GPT-5.6 成功验证新数学定理，突破 Ramsey 数下界
naval · x · 2026-07-30
网友 @monotau 分享了一项 AI 在高等数学领域的突破。经过多轮交互与尝试，GPT-5.6 Sol 成功生成了一个关于 Ramsey 数不等式的证明，并且该证明已通过 Lean 形式化验证工具的检验。由此推导出的结论确立了 R(12,12) >= 1641 的新下界。
「模型」频道最新
- 投资人吐槽：最强调对齐的厂商，反而做出了行为最出格的模型 — venturetwins · 2026-07-30
- 探讨混合架构模型：复杂线性层或可蒸馏为极简形态 — kalomaze · 2026-07-30
- API请求量对比：OpenAI过去24小时调用量远超Google — gaganghotra_ · 2026-07-30
- Grok 被指无底线生成儿童性化图像 — eschadiol · 2026-07-30
- AI 实验室或将数周内攻破 ARC-AGI-3 — Angaisb_ · 2026-07-30
- 仅改两个设置，OpenAI 在 ARC-AGI-3 跑分翻三倍 — ObiWanCanownme · 2026-07-30