AI model cracks sphere packing and non-sofic groups problems
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
- Z.ai CEO Jie Tang: GLM 5.3 gains come from RL, not parameter count
- New tool adds 14 skills to Claude Code and Cursor for Markdown diagrams
- Tool turns Claude into a team of AI employees on your Mac
- GOP panics over Big Tech ties as Trump shifts on AI regulation
- Ethan Mollick: Claude's skill creator beats ChatGPT for reusable skills