RT @logic_int : 🚀 Le vérificateur Aleph est passé en mode bestial 4 problèmes de maths non résolus depuis plus de 20 ans. Démonstrations formelles en Lean 4. Moins de 48 heures.
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.