7 jeunes mathématiciens sur 10 se voient de moins en moins rester dans la recherche selon un sondage du MIT.
En même temps, l'IA leur pique leur boulot à une vitesse folle : rien que depuis septembre, OpenAI dit avoir résolu des centaines de problèmes sur lesquels les chercheurs butaient depuis des décennies, dont l'un des 7 “problèmes du millénaire”.
Sauf que, pas si vite : en maths, une preuve ne vaut rien tant qu'elle n'est pas vérifiée. Et ça, l'IA ne peut pas le faire seule. Elle sait faire contrôler sa logique par un logiciel.. mais seul un expert peut dire si elle a résolu le bon problème.
À quoi vont servir les mathématiciens du coup ? Eh bien… à corriger l’IA ! Et apparemment, ça paie hyper bien : OpenAI et Anthropic viennent de mettre 15 M$ sur la table avec la fondation Simons, non pas pour faire des maths, mais juste pour évaluer leurs résultats. Pas étonnant que 25 médaillés Fields, dont Terence Tao, dénoncent un « désalignement sévère » avec les labs…