模型助力解决30年优化难题
pkerger · reddit · 2026-07-17
作者称自己用一套模仿 OpenAI CDC 证明项目的提示方法，让模型在一次 148 分钟会话中给出了解决方案，并且已经用 Lean 形式化验证通过。
主要内容
- 研究对象是一个存在于凸优化/复杂度理论中的 30 年开放问题。
- 作者是伯克利 IEOR 教授，强调结果尚未同行评审。
- 他认为这套 prompt + 模型协作方式，可能对理论计算机科学和数学开放问题有更大潜力。
额外信息
- 作者给出了 Medium 文章、GitHub 仓库、Lean 代码、完整 prompts 和构建说明。
- 还提到自己之前尝试用更早版本模型未成功，而这次在新版本上“一次成”。
所属事件:GPT-5.6接连破解多年未解数学难题(4 条相关)→
「研究」频道最新
- Nature 新研究实现全身器官细胞活动成像,揭示跨器官体级回路 — arjunrajlab · 2026-09-11
- SignNet 1M 手语数据集发布 — ducha_aiki · 2026-09-11
- ECCV26 口头论文：流匹配实现多视角点云配准 — ducha_aiki · 2026-09-11
- InFlux++ 方法发布 — ducha_aiki · 2026-09-11
- Skyfall GS 登场:用 Flux 提升 Gaussian Splatting 精修质量 — ducha_aiki · 2026-09-11
- 一万个智能体能否突破反向传播,找到更好的学习算法 — SeunghyunSEO7 · 2026-09-11