OPINION
Terence Tao sur Kepler, Newton et la nature de la découverte mathématique
Le mathématicien Terence Tao examine pourquoi les boucles de vérification courtes ne suffisent pas à expliquer les grandes découvertes scientifiques.
Dwarkesh Patel·Dwarkesh Patel·20 mars 2026

Image · Source originale
Dans cet épisode, Dwarkesh Patel s'entretient avec Terence Tao sur la manière dont Kepler a découvert les lois du mouvement planétaire. L'exemple illustre que les boucles de vérification pour les bonnes théories peuvent durer des décennies, voire des millénaires. Tao remet en question l'idée que l'IA accélérera la découverte scientifique grâce à des boucles RL courtes, soulignant que le jugement et les heuristiques humains restent difficiles à formaliser.