GPT 5.6 Sol Ultra reportedly closes 30-year math optimization gap
In a single 148-minute session, GPT 5.6 Sol Ultra supplied a proof closing a convex optimization complexity gap open since 1996, formally verified in Lean. The prompt followed the methodology OpenAI used for its CDC proof.
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- Paper examines the limitations of current AI evaluation methods
- OnlyHuman filter list removes AI-generated SEO spam from search results
- Qwen tokenizes 330-line code into 1,609 tokens; Gemma needs 4,258
- LifeOS: open-source AI harness for personal growth and work
- MINIMAX video drops Indiana Jones into Mortal Kombat