Did our AI summary help? A research-level mathematics problem that took nearly twenty years to design has been solved by an artificial intelligence system, surprising the mathematician who created it.