回应 AI 数学争论:Thurston 十六年前已把该说的说完
keenanisalive · x · 2026-09-13
Mathematician Keenan Crane says that regarding the recent discourse around Navier-Stokes and AI math, his hero William Thurston already said everything that needed to be said — sixteen years ago — linking Thurston's classic essay on proof and progress in mathematics.
Related event: Math debate over AI and Navier-Stokes resurfaces Thurston's classic essay(4 posts)→
More from Research
- WebMCP browser tools cut tokens 52% on one task but increase them on another, DeepDeck experiment finds — j032 · 2026-09-14
- Nautilus turns one prompt into plug-and-play robot learning workflows, as researchers question the GPT-6 hype — GeorgiaChal · 2026-09-14
- Feyospace-v1: data-centric framework trains open-weight top-tier cyber agents — feyospace · 2026-09-14
- PingPong benchmark at EMNLP 2026: 6 language pairs show LLMs still struggle with code-switching — ponguru · 2026-09-14
- Swapping pretraining objective cuts entity-swap false-accepts from 46% to 5% with zero training — Reasonable_Royal_621 · 2026-09-14
- LeanDB: Theoric Labs builds a strongly typed Lean frontend for SQL databases — hargup13 · 2026-09-14