Terence Tao – Kepler, Newton, and the true nature of mathematical discovery

Оригинальный автор：Dwarkesh Patel

Первоисточник：https://www.youtube.com/embed/Q8Fkpi18QXU

We begin the episode with the absolutely ingenious and surprising way in which Kepler discovered the laws of planetary motion. People sometimes say that AI will make especially fast progress at scientific discovery because of tight verification loops. But the story of how we discovered the shape of our solar system shows how the verification loop for correct ideas can be decades (or even millennia) long. During this time, what we know today as the better theory can often actually make worse predictions (Copernicus's model of circular orbits around the sun was actually less accurate than Ptolemy's geocentric model). And the reasons it survives this epistemic hell is some mixture of judgment and heuristics that we don’t even understand well enough to actually articulate, much less codify into an RL loop. Hope you enjoy! 𝐄𝐏𝐈𝐒𝐎𝐃𝐄 𝐋𝐈𝐍𝐊𝐒 * Transcript: https://www.dwarkesh.com/p/terence-tao * Apple Podcasts: 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 loves challenging my audience with different creative puzzles. One of my listeners, Shawn, solved Jane Street’s ResNet challenge and posted a great walk-through on X (https://x.com/hynwprk/status/2026376546286711206). If you want to try one of these puzzles yourself, there’s one live now at https://janestreet.com/dwarkesh - Labelbox can get you rubric-based evals, no matter your domain. These rubrics allow you to give your model feedback on all the dimensions you care about, so you can train how it thinks, not just what it thinks. Whatever you’re focused on—math, physics, finance, psychology or something else—Labelbox can help. Learn more at https://labelbox.com/dwarkesh - Mercury just released a new feature called Insights. Insights summarizes your money in and out, showing you your biggest transactions and calling out anything worth paying attention to. It’s a super low-friction way to stay on top of your business. Learn more at https://mercury.com/insights To sponsor a future episode, visit https://dwarkesh.com/advertise. 𝐓𝐈𝐌𝐄𝐒𝐓𝐀𝐌𝐏𝐒 00:00:00 – Kepler was a high temperature LLM 00:11:44 – How would we know if there’s a new unifying concept within heaps of AI slop? 00:26:10 – The deductive overhang 00:30:31 – Selection bias in reported AI discoveries 00:46:43 – AI makes papers richer and broader, but not deeper 00:53:00 – If AI solves a problem, can humans get understanding out of it? 00:59:20 – We need a semi-formal language for the way that scientists actually talk to each other 01:09:48 – How Terry uses his time 01:17:05 – Human-AI hybrids will dominate math for a lot longer