L'IA peut-elle rivaliser avec les meilleurs mathématiciens ?

L'intelligence artificielle progresse enfin significativement en mathématiques pures. Après avoir dominé d'autres secteurs, l'IA franchit une nouvelle étape : elle n'est plus limitée à résoudre des problèmes classiques ou à recycler des solutions existantes, mais peut tacler des problèmes de recherche originaux.

Le projet First Proof, lancé par des mathématiciens américains de haut rang comme Lauren Williams (Harvard), vise à évaluer objectivement ces capacités et à dépasser les discours marketing des entreprises d'IA. Pour cela, dix mathématiciens ont fourni des problèmes qu'ils avaient personnellement résolus mais non publiés, garantissant l'absence de solutions en ligne. Cette approche rigoureuse permettrait de mesurer la véritable contribution de l'IA à la recherche mathématique, au-delà des Olympiades ou des exercices de routine.