OpenAI solves ten major problems in mathematics and computer science

OpenAI's latest model achievements include the first construction of a non-sofic group and a proof that multicolour Ramsey numbers grow superexponentially. These results represent ten major breakthroughs in mathematics and theoretical computer science announced in early August 2026.
Featured · Timothy Gowers
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- Sequoia Capital invests in AI-native video platform Preview
- US Launches Effort to Speed Trade in AI Goods Between Allies
- DeepMind launches SL2T sign language-to-text model
- Liquid AI releases LFM2.5-VL-3B vision-language model for edge
- Grok and Meta's release discussed on ETN podcast episode