Depuis quelques mois, des modèles d'IA non commercialisés ont effectué d'importants progrès dans le domaine, et leurs créateurs ont revendiqué avoir résolu des centaines de problèmes qui ne l'étaient pas, suscitant de nombreuses questions au sein de la communauté scientifique mondiale.
En septembre, OpenAI avait déjà secoué feutré des mathématiques en revendiquant avoir résolu, grâce à l'un de ses modèles d'IA, l'équation dite de Navier-Stokes, en moins de quatre jours.
Ces progrès, encore difficiles à mesurer, font émerger des questions existentielles au sein de la communauté mathématique.
Des scientifiques planchaient parfois sur ces sujets depuis des années, voire des décennies.
L'IA générative a progressé très vite dans ce domaine.
Ses concurrents ne sont pas en reste: le modèle du chinois RedNote a obtenu un score parfait aux Olympiades internationales de mathématiques, à Shanghai, en juillet, et celui d'Anthropic, qui produit Claude, a vérifié la démonstration du dernier théorème de Pierre de Fermat, en seulement onze jours, quand il avait fallu attendre 360 ans pour qu'un humain y parvienne.