Cette IA fouille des milliers d'articles pour trouver et résoudre des problèmes mathématiques

Des chercheurs ont développé FAR, un système d'IA capable de fouiller automatiquement des milliers d'articles scientifiques pour y extraire des problèmes mathématiques ouverts et proposer des solutions. Plutôt que de recevoir une conjecture précise à résoudre, l'IA reçoit simplement un domaine de recherche et identifie elle-même les questions non résolues dans la littérature.

Le système offre un double intérêt : d'une part, il automatise le repérage de problèmes intéressants (une tâche chronophage pour les mathématiciens) ; d'autre part, il propose des démonstrations candidates qui restent soumises à vérification humaine. Une expérience en combinatoire illustre l'efficacité du tri : sur 51 110 articles initiaux, FAR en a extrait 6 453 conjectures potentiellement ouvertes, qui ont finalement été réduites à 77 résultats jugés suffisamment prometteurs pour l'examen par des experts.

Les auteurs ont validé manuellement 15 résultats parmi les plus intéressants et tous se sont avérés mathématiquement corrects, bien qu'un seul ait été identifié comme découvert ailleurs quelques mois auparavant. Le système repose sur des vérifications multiples et ne confère aucune légitimité mathématique à une preuve produite par l'IA seule.