Le plus intéressant avec la sortie de Frontier, en attendant les retours des utilisateurs, c'est de vérifier quelles évaluations n'ont pas encore échoué. Allez FrontierMath !
C'est un peu triste pour Putnam, mais la séquence DeepSeek-Prover-2 > Seed-Prover restera une partie intégrante de l'histoire des mathématiques du LLM.