tangenteAudio

7 juil. 2026 · 6 min

Après 80 ans, l’IA réfute la conjecture d’Erdős

Dans cet épisode, suivez le problème des points à distance 1, sa réfutation par l’IA, puis la vérification humaine de la preuve.

Un contenu original Tangente, adapté en podcast avec l’aide de l’IA et validé par notre rédaction. Comment ça marche ?

À écouter ensuite

Des épisodes qui partagent une playlist, une figure ou un domaine avec celui-ci.