Terence Tao proposes keeping some math problems off-limits to AI solvers
Outside-Iron-8242 · reddit · 2026-09-03
Terence Tao argues on Mathstodon that pre-AI open math problems are a limited supply of "uncontaminated" benchmarks: once a solution is published, it becomes hard to tell whether a future AI solved it independently or saw the answer in training data. He also values open problems for training mathematicians and developing new techniques, suggesting the community might designate some problems off-limits to automated solvers via social norms while steering AI toward other problems.
More from AGI Musings
- Ajeya Cotra: the takeover threat most likely to spiral is a rogue internal AI deployment — MoonL88537 · 2026-09-03
- New Riemann Hypothesis proof formally verified by AxiomProver — Afinetheorem · 2026-09-03
- CEPR paper: AI investment now drives productivity growth by building organization capital — soumitrashukla9 · 2026-09-03
- 'Computation is done at the vector level' — a jab at the neurosymbolic framing — MoonL88537 · 2026-09-03
- Expecting Qualitative Jump from OpenAI Astra, Not Just Better Benchmarks — haider1 · 2026-09-03
- AI Philosophy Discussion: Scholar Points to Exchange with birchlse — anilkseth · 2026-09-03