{"type":"rich","version":"1.0","provider_name":"Transistor","provider_url":"https://transistor.fm","author_name":"The AI Cookbook Show by Malcolm Werchota","title":"#137 - The Mathematician Who Beat OpenAI by Three Days. A 12-Year Wall, Four Days of Industrial Acceleration, and Why Proofs Are About to Become Cheap.","html":"<iframe width=\"100%\" height=\"180\" frameborder=\"no\" scrolling=\"no\" seamless src=\"https://share.transistor.fm/e/aabfddc0\"></iframe>","width":"100%","height":180,"duration":2467,"description":"A 28-year-old Austrian mathematician in Illinois uploaded a 34-page proof on 31 August because she heard a rumour OpenAI was coming. Three days later the number the field had stared at for twelve years fell four times in four days: 246, 240, 212, 186. She used no AI at all — not for the ideas, not for the code, not for the writing.\n\nThis looks like an episode about prime numbers. It is an episode about your job. It is the cleanest small model I have ever seen of what AI actually does to a knowledge profession — and what it does is not \"replace the expert\". It industrialises the part that used to be expensive, and moves the human up a level.\n\nIn this episode:\n🌙 The rumour (00:10) — Urbana-Champaign, the last days of August, two years of work and one unfinished optimisation. Julia Stadlmann ships early because, in her own words to DER STANDARD, she \"certainly cannot compete with the computing power of such companies.\"\n🔢 The mathematics, one concept at a time (04:08) — primes, prime gaps, and what \"H-one is at most 246\" actually claims. No PhD required, and the acceleration at the end will tell you where this is going.\n🪜 From Zhang to Maynard (10:19) — 70,000,000 to 4,680 to 600 to 246, and the supervisor who told James Maynard \"I am really quite sure you'll fail.\" He got the Fields Medal instead — and became her doctoral supervisor.\n✍️ Julia: the artisan (13:38) — Unzmarkt, Judenburg, the Maths Olympiad, Oxford at sixteen, Illinois at twenty-eight. Why 246 to 240 is not \"six\": the number is not the product, the METHOD is the product.\n🚁 The machines (17:30) — OpenAI's paper credits the proof to GPT-6 Astra, formalises it in Lean 4, and puts it on a public GitHub. Machine-checkable correctness. Human-readable insight: unknown.\n🔍 Who actually checks the work? (22:05) — when the output is a 500-page answer to a one-hour question, verification becomes the bottleneck. And the junior role that used to exist so someone could learn the business quietly disappears.\n⏳ Tao's...","thumbnail_url":"https://img.transistorcdn.com/K89WOul5lFP6eyTkepgc48DwnmOLDjvzPf-VdoMUwqc/rs:fill:0:0:1/w:400/h:400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS84Y2I2/YTZiNWNmNGE5NmYy/NzE4ZTAyMTYxYjNh/ZmM5Zi5qcGc.webp","thumbnail_width":300,"thumbnail_height":300}