AI-assisted proof: the six-sphere reportedly shown to have a complex structure
stevenstrogatz · x · 2026-09-24
Mathematician Steven Strogatz highlights one of the big AI math results of recent months: a reported proof (by @alpoge) that the six-dimensional sphere admits a complex structure, a long-standing problem. He links a 2017 survey of the problem's history for background.
Related event: AI Math Reports Proof on Complex Structure of Six-Sphere(2 posts)→
More from Research
- Q Labs: LLMs are depth-bottlenecked, loss keeps improving to 128 layers — rickasaurus · 2026-09-24
- OverclaimBench: coding agents never opened files in 68% of 1,140 review runs — hugo_larochelle · 2026-09-24
- TANGO: Whole-Body VLA Maps RGB to 29-DoF Actions for Humanoid Navigation, Trained Fully in Simulation — berkeley_ai · 2026-09-24
- Theory of Agent survey from Beihang and 7 institutions reviews ~600 agent studies — jiqizhixin · 2026-09-24
- GPT-6 Astra cracks Erdős–Sós graph conjecture, proof verified in Lean — IgorCarron · 2026-09-24
- NEJM AI: practical advice on AI's impact on scientific thinking and mentorship — zakkohane · 2026-09-24