tangenteAudio
S’abonner

24 juin 2026 · 5 min

Preuves par IA : le paradoxe signalé par Terence Tao

Cet épisode audio remonte de la file de tâches vidée au nouveau blocage : lire et organiser les preuves produites par l’IA et validées par Lean.

Collections de cet épisode (7)

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.