Debunked: AI did not solve the Millennium Prize Navier-Stokes problem
gerardsans · x · 2026-10-09
@gerardsans quoted a Turkish-language post by @serdardirican warning that the claim "AI solved the Millennium Prize Navier-Stokes problem" is dead: according to the paper, what they tried to prove in Lean is not the same statement, calling it a small trick by the AI. The poster wanted to notify those claiming AI cracked a Millennium Problem.
More from Research
- RWTH Aachen's ARROW unifies 3D reconstruction and point tracking from any RGB inputs, sets new SOTA — kwangmoo_yi · 2026-10-09
- HAIPS 2026 workshop lands at COLM tomorrow with top AI privacy researchers — tianshi_li · 2026-10-09
- Tighter Bayes error bounds via generalized Bhattacharyya and Chernoff means — FrnkNlsn · 2026-10-09
- PAMI: part-anchored motion lifts contact recall 14.5% in text-to-HOI generation — _akhaliq · 2026-10-09
- Study finds LLM novelty judges are unstable: scores swing wildly with evaluation design choices — _akhaliq · 2026-10-09
- Google's AMIE lands in The Lancet: 90% match with doctors' final diagnoses in real clinics — sundarpichai · 2026-10-09