AI and Erdős Problem 397: A Verified Proof, Prior Work and the Prospect of Self-Improvement

Voici la transcription originale de la vidéo, telle quelle et non relue. Le texte intégral remanié, le résumé et les traductions sont sur la page de l'article.