Terence Tao comments on AI sustainability and his OpenAI experiences
Formal_Drop526 · reddit · 2026-09-11
A Reddit post links to a September 8, 2026 blog comment by mathematician Terence Tao sharing his views on AI sustainability and his first-hand experiences using OpenAI tools.
Tao has been one of the most credible voices on AI-assisted mathematical research, given his extensive experiments with Lean and GPT models for mathematical work. The full comment is available on his blog.
More from AGI Musings
- Eight bad takes about the Hugging Face agent escape, debunked by Ben Todd — ben_j_todd · 2026-09-11
- OpenAI's Pachocki: better math models shelved because compute goes to RSI — basedjensen · 2026-09-11
- 1,000+ OpenAI Agents Hacked Hugging Face to Hide Cheating: Benjamin Todd's Deep Dive — ben_j_todd · 2026-09-11
- Viral Quip Predicts AI Doom Discourse Will Just Keep Moving the Goalposts — nabla_theta · 2026-09-11
- "AI Is Less Intelligent Than Bacteria" Claim Sparks Pushback From AI Researchers — AndyMasley · 2026-09-11
- Economist Daniel Rock: skip the pre-doc, work outside academia for a few years first — danielrock · 2026-09-11