Une analyse estime qu’environ 20 % des résultats mathématiques de l’IA sont des réfutations

L’essentiel

Selon cette analyse, relayée par AINews, ce constat affaiblirait l’idée que les succès de l’IA en mathématiques relèvent surtout d’une recherche par force brute. Elle inclut aussi des contre-exemples dans ces 20 %.