23:02
2026-09-06
mbmccoy.dev
artificial-intelligence
Is mathematics about to enter the conservatory?
A new preprint by Wang & Wu of Hunan University claims to prove the Spherical Hadwiger Theorem, open since about 1974, using AI assistance from OpenAI Codex, marking a milestone in AI-assisted mathema…