Google DeepMind résout 9 problèmes mathématiques Erdős pour quelques centaines de dollars
DeepMind résout 9 problèmes Erdős pour quelques centaines de dollars chacun. Les labos de recherche mathématique facturent 50k€ minimum par problème.
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.