L’IA vient-elle de tuer les mathématiques ?

Assistons-nous à la fin des maths telles qu’on les connaît ? Avec ses dernières annonces, OpenAI affirme avoir franchi un nouveau cap : ses IA s’attaquent désormais à des problèmes sur lesquels des mathématiciens travaillent depuis des années. De quoi susciter autant d’enthousiasme que d’inquiétudes. Mais que savent-elles vraiment faire ? Et surtout, à quoi servira encore un mathématicien si une machine peut trouver les réponses à sa place ? Dans cette vidéo, on décrypte les progrès de l’IA en mathématiques, leurs limites et les tensions qu’ils provoquent dans le monde de la recherche. Entre d