Quoi… ! 🤯🤯🤯 Nous pouvons enfin sentir les premiers vents de la singularité ! "Entre le pipeline et d'autres utilisations, Aristote a maintenant écrit la majorité des solutions formalisées publiques. (Par là, je veux dire le nombre de problèmes, tel que rapporté dans la base de données de la communauté. Si vous avez résolu un problème, que ce soit de manière formelle ou non, veuillez le faire savoir à quelqu'un soit sur erdosproblems.com soit sur la base de données de la communauté !) De plus, l'interaction avec Aristote se fait actuellement sur une échelle de temps de quelques heures, ce qui, bien que n'étant pas encore en "temps réel", est un grand pas par rapport aux six mois qu'il a fallu au début de cette histoire. Le temps consiste également principalement à attendre, car aucune interactivité n'est requise ou possible (à ce jour). Étant donné mes expériences précédentes avec des flux de travail obsolètes, je n'ai aucun doute que bientôt, ce processus changera complètement encore une fois et deviendra encore meilleur."