RT @yanda : @HarmonicMath @leanprover @namrata_anand2 Axiom a résolu 8/12 en temps réel, 2 minutes avant la fin de l'examen humain et publié 3 jours plus tard…
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.