Scientific American a rapporté mardi que six mathématiciens avaient résolu M23, dernier cas ouvert parmi 26 groupes de symétrie particuliers. Des agents d'IA ont passé au crible des combinaisons de symétries et approché les équations de sept surfaces candidates. Les mathématiciens ont transformé ces approximations en polynômes exacts et n'ont rien fait rédiger par l'IA.