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.
10 sept. 2026 · 6 min
8 sept. 2026 · 23 min
8 sept. 2026 · 20 min
8 sept. 2026 · 23 min
8 sept. 2026 · 22 min
20 août 2026 · 22 min