Google DeepMind annonce que ses agents IA ont résolu 9 des 353 problèmes ouverts d'Erdős en mathématiques pures. Coût opérationnel : quelques centaines de dollars par problème selon l'équipe.
Ces problèmes, certains vieux de 70 ans, résistaient aux mathématiciens depuis des décennies. L'agent combine recherche symbolique et vérification formelle pour explorer des millions de preuves candidates en parallèle.
Implication business : les laboratoires de recherche mathématique traditionnels facturent 50 000 à 200 000 euros par problème résolu. DeepMind vient de diviser ce coût par 100 minimum.
Newsletter
Cet article t'a intéressé ? Reçois les suivants.
Chaque matin à 8h, les chiffres qui comptent. Gratuit, sans spam.