Les agents mathématiques alimentés par Gemini de Google DeepMind ont trouvé des preuves pour cinq problèmes mathématiques non résolus, en utilisant une équipe d’agents IA dont le travail est vérifié par des systèmes de contrôle automatisés. Le framework AlphaProof Nexus a résolu 9 problèmes sur 353 problèmes d’Erdős restés sans solution, dont deux qui embarrassaient les mathématiciens depuis 56 ans. Le même système a démontré 44 conjectures sur 492 listées dans l’OEIS, pour un coût computationnel de quelques centaines de dollars par problème. Le système Aletheia, déployé en décembre 2025, a évalué environ 700 problèmes d’Erdős ouverts et identifié ou créé des solutions pour 13 d’entre eux, dont quatre résolutions autonomes inédites.
Source: Lire l’article original
