CDC Proof Prompt Methodology

GPT 5.6 Sol Pro 使用 OpenAI 的提示方法解决了 30 年的数学难题

加州大学伯克利分校的一位研究人员声称，他使用 OpenAI 的 GPT 5.6 Sol Pro 模型解决了一个长达 30 年的数学优化问题。该模型为凸优化中的复杂度间隙（complexity gap）提供了一个证明，随后使用 Lean 进行了形式化验证。这一成就紧随 OpenAI 最近宣布使用类似的方法证明了循环双覆盖猜想（Cycle Double Cover Conjecture），这表明人工智能在理论研究能力方面取得了重大进展。