Hannah Fry : comment OpenAI a provoqué une crise existentielle en mathématiques

Il y a quelques années, quand j'ai commencé à parler de mathématiques en public, un professeur de théorie algébrique des nombres m'a prise à part et m'a adressé quelques mots d'avertissement cinglants : « Le monde craint les mathématiciens, Hannah. Faisons en sorte que cela reste ainsi. »

Il faisait preuve, pour dire les choses poliment, d'un certain snobisme. Les mathématiques avaient une mystique intimidante à maintenir, et je la mettais apparemment en péril en traînant sur internet à faire des vidéos et des podcasts, plutôt que de me concentrer sur une carrière de chercheuse parfaitement respectable.

J'ai beaucoup repensé à ce commentaire depuis. En partie parce que j'ai passé les années suivantes à faire tout mon possible pour l'ignorer complètement (et obtenir une chronique dans New Scientist ressemble à une récompense plutôt agréable pour l'avoir fait).

Mais sous son snobisme, j'en suis venue à l'idée qu'il avait raison sur un point. Et je ne l'ai jamais autant ressenti que ces dernières semaines, depuis qu'une nuée d'agents d'IA s'est affairée à résoudre nos problèmes les plus célèbres de longue date.

Je parle, bien sûr, des annonces d'OpenAI de ces dernières semaines, affirmant avoir trouvé des preuves pour des centaines de problèmes mathématiques qui avaient jusqu'alors résisté aux tentatives de résolution humaines.