Google DeepMind résout 9 problèmes mathématiques ouverts depuis plus de 50 ans grâce à AlphaProof et au langage formel Lean

DeepMind a résolu 9 problèmes Erdos ouverts depuis des décennies, voici comment ils ont fait.