Terence Tao – Kepler, Newton et la véritable nature de la découverte mathématique

Auteur original：Dwarkesh Patel

Source originale：https://www.youtube.com/embed/Q8Fkpi18QXU

Nous commençons l'épisode avec la manière absolument ingénieuse et surprenante avec laquelle Kepler a découvert les lois du mouvement planétaire. On dit parfois que l’IA fera des progrès particulièrement rapides en matière de découverte scientifique en raison de boucles de vérification serrées. Mais l’histoire de la façon dont nous avons découvert la forme de notre système solaire montre à quel point la boucle de vérification des idées correctes peut durer des décennies (voire des millénaires). Pendant cette période, ce que nous appelons aujourd'hui la meilleure théorie peut souvent en réalité donner lieu à de pires prédictions (le modèle d'orbites circulaires autour du soleil de Copernic était en réalité moins précis que le modèle géocentrique de Ptolémée). Et les raisons pour lesquelles il survit à cet enfer épistémique sont un mélange de jugement et d’heuristiques que nous ne comprenons même pas assez bien pour réellement l’articuler, et encore moins le codifier dans une boucle RL. J'espère que vous apprécierez ! 𝐄𝐏𝐈𝐒𝐎𝐃𝐄 𝐋𝐈𝐍𝐊𝐒 * Transcription : https://www.dwarkesh.com/p/terence-tao * Podcasts Apple : https://podcasts.apple.com/us/podcast/terence-tao-kepler-newton-and-the-true/id1516093381?i=1000756353875 * Spotify : https://open.spotify.com/episode/24xF8YGra2w3HXZYbhgVKU?si=U5V-SgvSQ8eVIcG2Z86wfQ 𝐒𝐏𝐎𝐍𝐒𝐎𝐑𝐒 - Jane Street adore défier mon public avec différentes énigmes créatives. L'un de mes auditeurs, Shawn, a résolu le défi ResNet de Jane Street et a publié une excellente présentation sur X (https://x.com/hynwprk/status/2026376546286711206). Si vous souhaitez essayer vous-même l'un de ces puzzles, il y en a un en ligne sur https://janestreet.com/dwarkesh - Labelbox peut vous fournir des évaluations basées sur des rubriques, quel que soit votre domaine. Ces rubriques vous permettent de donner à votre modèle des commentaires sur toutes les dimensions qui vous intéressent, afin que vous puissiez entraîner sa façon de penser, et pas seulement ce qu'il pense. Quel que soit votre objectif (mathématiques, physique, finance, psychologie ou autre), Labelbox peut vous aider. Apprenez-en plus sur https://labelbox.com/dwarkesh - Mercury vient de publier une nouvelle fonctionnalité appelée Insights. Insights résume vos entrées et sorties d’argent, vous montrant vos transactions les plus importantes et signalant tout ce qui mérite une attention particulière. C'est un moyen très simple de rester au top de votre activité. Apprenez-en plus sur https://mercury.com/insights Pour sponsoriser un prochain épisode, visitez https://dwarkesh.com/advertise. 𝐓𝐈𝐌𝐄𝐒𝐓𝐀𝐌𝐏𝐒 00:00:00 – Kepler était un LLM à haute température 00:11:44 – Comment saurons-nous s'il existe un nouveau concept unificateur au sein de tas de déchets d'IA ? 00:26:10 – Le surplomb déductif 00:30:31 – Biais de sélection dans les découvertes signalées en matière d'IA 00:46:43 – L'IA rend les articles plus riches et plus larges, mais pas plus profonds 00:53:00 – Si l'IA résout un problème, les humains peuvent-ils en tirer une compréhension ? 00:59:20 – Nous avons besoin d'un langage semi-formel pour la façon dont les scientifiques se parlent 01:09:48 – Comment Terry utilise son temps 01:17:05 – Les hybrides humain-IA domineront les mathématiques pendant encore bien longtemps