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.
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.