L’agent d’Anthropic a traduit cette preuve d’une complexité hors norme dans un langage de programmation, permettant de la vérifier automatiquement. Cette expérience ouvre la voie à de possibles progrès dans la validation des résultats mathématiques.