Progression

RSS feed

Switch to light mode

Buy me a coffee

After OpenAI’s CDC proof announcement, GPT-5.6 used a similar prompt to close a 30-year gap in convex optimization, verified in LeanReddit

Jul 18, 2026 14:11

After OpenAI’s CDC proof announcement, GPT-5.6 used a similar prompt to close a 30-year gap in convex optimization, verified in Lean

Go to Progression Home