01MATH DESK722 papers. Somebody check the homework.The new bottleneck is checking the answers.
OpenAI’s public repository lists 722 manuscripts in 372 families, produced by an unreleased internal model. The company says it tested roughly 4,000 problems and used about three hours of ChatGPT Pro thinking compute per result on average.
The catch: verification varies. Some results have machine-checkable Lean proofs; others do not. OpenAI explicitly warns that unformalized work may contain issues. This is a research release, not a blanket certificate that every claim is correct.
Why it matters: generating pages is getting cheap. Checking whether those pages deserve to exist is still a job. Your math teacher’s “show your work” era is thriving.





