OpenAI Posted 722 Math Papers. Who Checks the Checker?
On Oct 6, OpenAI put 722 mathematics manuscripts online, and only one had a human edit before release. Terence Tao calls this proof indigestion: more AI-written mathematics than the people who must judge it can absorb. A machine can now write a proof-shaped manuscript faster than anyone can check i…
Read the full story at DEV Community — Machine Learning ↗
Timeline · 1 report
- 2026-11-09 03:04 · DEV Community — Machine Learning
OpenAI Posted 722 Math Papers. Who Checks the Checker?