Navier-Stokes proof gave no new information; novel methods would, researcher says
LucaAmb · x · 2026-09-18
Continuing the debate on AI in math, the author says seeing AI invent a novel method instead of using an existing one would significantly update his beliefs about AI's mathematical creativity.
He adds that the earlier Navier-Stokes proof gave him no extra information.
Related event: Mathematician Dismisses Claims AI Will Handle Routine Math(2 posts)→
More from Models
- Leaked Gemini 4 Pro specs claim 2M context, $2.25/M input — likely bogus — airesearch12 · 2026-09-18
- MORENA: 1.5B African LLM trained from scratch on $40K of GPUs beats Google and Meta models — letandrewcook · 2026-09-18
- NotebookLM adds real-time chat in ~100 languages, video overviews, free year of Google AI for students — tokumin · 2026-09-18
- NirantK spots hints OpenAI may be distilling from Chinese models too — NirantK · 2026-09-18
- Anthropic says Claude now "leads" 26% of its frontier model research — but the metric is fuzzy — The Decoder · 2026-09-18
- DeepSeek users hype a major upgrade to the model — teortaxesTex · 2026-09-18