AI model cracks sphere packing and non-sofic groups

An unreleased OpenAI model, reportedly code-named Astra, produced solutions to open math problems, including high-dimensional sphere packing (no progress in ~48 years) and the existence of non-sofic groups. The results were not brute-force computation.
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- AI sizing tools aim to solve online shopping's fit problem
- MiniMax Code agent runs on MiniMax M3, writes code, controls browser
- Apple Music's AI labeling system to launch later this year
- Zelda clip tests MiniMax H3 reference-to-video generation
- Yuval Noah Harari urges resisting AI rights