RT @axiommathai : Le Putnam, le test de mathématiques de niveau universitaire le plus difficile au monde, s'est terminé hier à 16 h 00, heure du Pacifique. Aujourd'hui midi, AxiomProver a résolu 9 problèmes sur 12…
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.