Neuf mathématiciens conseilleront OpenAI sur ses preuves, pas sur son rythme
OpenAI annonce un groupe consultatif indépendant de neuf mathématiciens, hébergé par l'Institute for Advanced Study de Princeton et non rémunéré : François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten et Melanie Matchett Wood. Il conseillera l'entreprise sur l'évaluation et la diffusion des nouveaux résultats, et sur « les standards académiques et professionnels ». Ses membres peuvent donner des avis non sollicités, les rendre publics, et contrôlent leur propre composition.
Le mandat dit aussi ce qu'il exclut : le groupe « ne sera pas chargé de nous conseiller sur la façon de gérer notre progression interne en mathématiques ». L'entreprise affirme par ailleurs avoir résolu « plus de cent problèmes ouverts » supplémentaires depuis sa démonstration sur Navier-Stokes.
Dix jours plus tôt, vingt-cinq médaillés Fields signaient une déclaration tenant que les laboratoires d'IA menacent leur travail intellectuel. Un seul des neuf nommés, Camillo De Lellis, figurait parmi les signataires.
Ethan Mollick, qui enseigne à Wharton, y lit un frein plutôt qu'une accélération : « l'une des raisons pour lesquelles l'IA changera les choses moins vite qu'on ne le croit est illustrée par cette annonce. OpenAI travaille avec des mathématiciens pour publier ses preuves d'une façon moins perturbatrice. La même chose arrivera, en plus marqué, avec le barreau, l'ordre des médecins et d'autres professions. »
Sur le même sujet : Un comité de physiciens se charge de vérifier la preuve Yang-Mills d'OpenAI, Anthropic affirme que Claude a lui aussi réfuté l'hypothèse du temps exponentiel, OpenAI affirme que ses modèles ont prouvé Kakeya et réfuté l'ETH.