Follow your favourite podcasts, listen offline and in the car with CarPlay and Android Auto, and always pick up where you left off. Free to try.
Only about one in five of the 722 AI written math papers comes with a computer checked proof, and the model that wrote them is still locked away.
Seven Hundred Twenty Two Papers and No Model: Why OpenAI's Math Dump Has Mathematicians Asking for Receipts, October 8, 2026
OpenAI posted 722 math manuscripts to GitHub, grouped into 372 families of results, all produced by an unreleased internal model working mostly from a single prompt. Chris and Laura unpack why only about one in five has a Lean checked proof, why mathematicians like Andrew Sutherland and Tristan Buckmaster want receipts, and what the release means for verification, reproducibility, and the future of research.
Hosted by Chris and Laura.
The DX Today Podcast brings you daily deep dives into the most consequential stories in the AI ecosystem.
