RT @thinkymachines : Félicitations à @axiommathai pour leur réussite ! AxiomProver, un modèle mathématique optimisé avec Tinker, a obtenu la première place…
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.