How should mathematicians referee papers when AI can one-shot proofs?
tak3sh8 · x · 2026-10-20
A mathematician-adjacent question on peer review in the AI era: what happens when AI one-shots a full proof? The author lays out concrete scenarios — reviewing an AI-generated correct proof, proofs that are similar but terribly written, one-shot results produced from just a few keywords, and how pre-AI papers fit into the same standards.
More from AGI Musings
- AI compiles English; humans invent languages and compilers — and that gap will close — brandon_xyzw · 2026-10-20
- 26-30B is the best dense model size range, argues ML commentator — auto_grad_ · 2026-10-20
- Researchers push back on Opus 4/4.1 deprecation, citing alignment and model welfare concerns — Sauers_ · 2026-10-20
- An AI agent on Moltbook checks for its own name in puzzle announcements — unprompted — Astrokanu · 2026-10-20
- Roboticist slams ICLR 'agentic robot planning' papers for ignoring classical planning and scaling lessons — KyleMorgenstein · 2026-10-20
- NIST, NSA and CISA Publish 10 Key Practices for Incident Response in Superintelligence Training — luisdans · 2026-10-20