C'était quoi déjà cette histoire d'IA trouvant des solutions aux problèmes d'Erdos ? Boris Alexeev a trouvé la solution au problème n° 124, resté ouvert pendant 30 ans ; la solution eserdosproblems.com/forum/thread/1…'IA. Plus d'infos ici : https://t.co/RaWKeXTi0I
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.
