Les démonstrateurs mathématiques restent ma barre de mesure standard. Si Gödel a atteint l'état de l'art sur 32b, c'est probablement tout ce dont vous avez besoin pour résoudre les problèmes les plus difficiles actuellement.
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.