GPT-5.6 used a prompt to close a 30-year gap in convex optimization10 hours ago#complexity theory#AI research#convex optimizationhttps://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/Copy LinkGPT-5.6 Sol Pro在148分钟内解决了1996年的一个凸优化复杂性差距问题。它证明了确定性零阶凸优化预言机复杂度的二次下界。该证明已在Lean中正式验证，所有细节均可在链接的预印本和存储库中查阅。