🚨 EXCL: Everton reach agreement in principle with Arsenal to sign Christian Norgaard. Still needs formalising but 32yo midfielder set to join #EFC from #AFC for in region of £7m & expected to undergo medical next week ahead of proposed move @TheAthleticFC https://t.co/9z42C68fyT
The GPT-6 series has been revealed by @OpenAI, codenamed "Astra"
OpenAI just dropped a major update: an internal version of Astra, their next major model, has produced ten significant new results in mathematics and theoretical computer science.
These are problems that had seen no real progress on their core questions for at least a decade. Highlights include:
- New upper bounds on high-dimensional sphere packing
- Construction of non-sofic groups
- Disproof of Connes’s rigidity conjecture
- Superexponential lower bounds for multicolor Ramsey numbers
- Hardness results for the closest vector problem in lattice cryptography
Humans prepared the manuscripts with the model. Astra formalized the arguments in Lean. OpenAI is releasing the Lean certificates plus narrations of the model’s reasoning process. Total estimated token cost for all ten solutions: about $2,000 at current Sol API rates.
This is the first public glimpse of Astra in action. OpenAI has not confirmed whether it will ship as GPT-6 or as a new tier in the existing lineup, but the company is clearly positioning it as their next major model, focused on long-running multi-agent work on hard problems.