Latest / DX Today | No-Hype Podcast & News About AI & DX
OpenAI Dropped 722 Math Papers From a Model Nobody Can Test
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…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.