Dernier article Sciences et mathématiques
722 démonstrations d’une IA : ce que l’on peut déjà vérifier
OpenAI a publié 722 manuscrits contenant des résultats sur des problèmes ouverts de mathématiques. Ce qu’ils contiennent, lesquels compteraient vraiment, ce qu’une machine a vérifié et ce qui reste en suspens.