L'IA vient d'atteindre un score parfait lors de la compétition de mathématiques la plus difficile au monde. Le Putnam a 12 problèmes x 10 points. Le score le plus élevé l'année dernière était de 90. La médiane ? 0. Le prouveur IA d'Axiom dans Lean a obtenu 120/120 et vient de partager toutes les solutions. Une étape importante pour l'IA en mathématiques.
Source:
196