Terence Tao warns of AI-generated proofs that no human understands
liuzhuang1234 · x · 2026-08-28
Terence Tao highlights a pressing issue: AI tools are generating lengthy, verified mathematical proofs that no human—not even the prompter—comprehends. This is already happening on problem-collecting sites. HildeKuehne expands on this, arguing that for research to contribute, it must be correct, readable, and accepted by the community. She suggests raising standards: authors must bear the burden of verification, and peer review should focus on ensuring tests and verifications are properly conducted to handle the flood of 'slop'.
More from AGI Musings
- Goertzel: decentralized watermarking could beat World's Orb for proof of humanity — bengoertzel · 2026-08-28
- Anthropic's 'Model Welfare' Is Making Claude Worse as an Assistant — Nouni2 · 2026-08-28
- Why isn't growth 30% if AI and robots do all the work? — TheKanter · 2026-08-28
- Reverse Approach: Watermarking Humans Instead of AI Content — AkindaGood_programer · 2026-08-28
- Predicting 2027: OpenAI's Unleashed AI Progress and AGI-Level Humanoid Robotics — imjustnewatai · 2026-08-28
- Feeling Lost Amidst Rapid AI Advancement — Fresh_Translator240 · 2026-08-28