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

Le projet First Proof, qui vise à évaluer le niveau des IA en recherche mathématique, a rendu ses conclusions. Elles font encore beaucoup d’erreurs, sont parfois incompréhensibles, mais parviennent désormais à résoudre, toutes seules, des problèmes d’un très bon niveau.