Terence Tao: AI math automation may hurt mathematics by hiding hints and chilling research sharing
jjvincent · x · 2026-09-09
jjvincent highlights Terence Tao's thread responding to the OpenAI Navier-Stokes news, arguing that math automation may diminish the field itself: the opacity of AI solutions removes hints pointing to promising future areas of inquiry, and fear of AI 'sniping' unpublished problems restrains researchers from openly sharing work. A substantive reaction from the field's most prominent mathematician on the cultural cost of AI-driven math automation.
More from AGI Musings
- Goldman finds statistically significant negative link between AI adoption and US employment growth — ben_j_todd · 2026-10-27
- a16z: World-changing tech makes a chaotic entrance — AI agents are following the same path — a16z · 2026-10-27
- NEJM AI on medical education: mastery requires performing without the machine — BraydonDymm · 2026-10-27
- Dev warns abliterated models could wreck software supply chains with 1000+ transitive dependencies — nitarshan · 2026-10-27
- Delete your priors: why every SOTA model drop should reset how you think the world works — zack_overflow · 2026-10-27
- Replit predicts every Fortune 500 will be a 'Self-Driving Company' by end of 2030 — amasad · 2026-10-27