
Episode #137
#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.
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. This 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. In this episode: 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." 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. 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. ✍️ 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. 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. 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. ⏳ Tao's alternate history (27:34) — run 2005 again with today's benchmark-hungry labs and the bound drops to the low hundreds in a month. No Zhang. No Maynard. No Polymath, no Fields Medal, no Stadlmann. The number is better. The field is poorer. The sewing machine — my pushback (32:46) — nobody preserved hand-stitching to train stitchers. The job moved up. So is Tao just the stitchers' complaint in a better suit? No — and the hole in my own analogy is the most useful thing in this episode. Verdict: find your 246 (36:07) — the problem in your company that has been stuck for years. Is it stuck for lack of INSIGHT or lack of COMPUTE? Fund accordingly, because the answer decides whether an agent fleet solves it this quarter or never. The verdict. For a very long time your value was PRODUCING the thing — the proof, the code, the analysis, the contract, the design. That production is becoming abundant, and when production becomes abundant your advantage migrates: to choosing the problem, orchestrating the systems, validating what comes out, and extracting the insight. Julia Stadlmann found the pass on foot. The helicopters crossed it within days. Both were needed. Only one of them can explain the route. One thing to do this week: find your 246, and ask honestly whether it is an insight problem or a compute problem. Then fund the right one. Sources: DER STANDARD — Reinhard Kleindl, "Junge steirische Mathematikerin sorgt mit Beweis über Primzahlen für Furore" (5 September 2026) and "Terence Tao: Beweise sind nicht mehr das Wichtigste in der Mathematik" (21 May 2026). OpenAI, "Improved short gaps between primes" (PDF dated 30 August 2026). Julia Stadlmann, "Bounded gaps between primes", arXiv 2608.31126 (31 August 2026). Terence Tao on Mathstodon, 1, 3 and 5 September 2026. Ping Malcolm on WhatsApp/Telegram/Signal: +43 676 6144 904 werchota.ai The AI Cookbook Show — one subject, taken apart properly. Stay curious.






