Les modèles d’intelligence artificielle ne parviennent pas à surpasser les mathématiciens lors de tests de recherche complexes

Dans le cadre du projet First Proof, l'intelligence artificielle a été soumise à l'un des tests mathématiques les plus difficiles à ce jour, avec quatre systèmes d'IA chargés de résoudre dix problèmes de recherche complexes.