Morning Edition · Friday, September 25, 2026Published at 2:22 AM EDT · New York

Researchers Publish a Line-by-Line Exposition of a Proof Credited to a Language Model

A note posted to arXiv works through the lower bound on differentially private continual counting attributed to OpenAI's Astra model, showing that verifying machine-produced mathematics now consumes human research effort.

A short paper on arXiv this week does something that did not exist as a genre two years ago. Its stated goal is to give a detailed proof, to the best of the authors' understanding, of a result attributed to Astra on the lower bound for diff…