Responding to Dietterich: OpenAI's math results are a notebook to curate
seth_stafford · x · 2026-10-09
Replying to ttdietterich's framing that OpenAI's math release should be treated like a notebook of results left by a deceased mathematician, sethstafford argues dead mathematicians stop writing proofs, but this machine will keep cranking them out — meaning there will simply be a lot of curation work to do.