Math, AI, and the Navier-Stokes Equations
On September 9, Lance blogged about the result, see here.So here, at last, is my long-awaited post on math and AI.--------------------------In my May 24, 2026 blog post about the Erdős Unit Distance problem being resolved by OpenAI , see here. I suggested two possible futures:--------------------------------------ONE: While this AI-generated (or AI-assisted) result is impressive, it will be a rare occurrence. This is a perfect storm that we might not see again for a while.TWO: Even before the AI revolution, when I came up with a math problem I wanted solved, I would seek help, perhaps too early.
- ▪On September 9, Lance blogged about the result, see here.So here, at last, is my long-awaited post on math and AI.--------------------------In my May 24, 2026 blog post about the Erdős Unit Distance problem being resolved by OpenAI , see he
- ▪I suggested two possible futures:--------------------------------------ONE: While this AI-generated (or AI-assisted) result is impressive, it will be a rare occurrence.
- ▪This is a perfect storm that we might not see again for a while.TWO: Even before the AI revolution, when I came up with a math problem I wanted solved, I would seek help, perhaps too early.
Hacker News (AI / LLM) files mainly under ai. We currently carry 4,875 of its stories.
Story provenance
Source · retrieval · rights · ranking — open for full record
inspect →
Story provenance
Attribution is not the same as permission. This drawer separates discovery metadata, excerpts, WeSearch-generated summaries, reuse status, and whether the publisher receives the visit. Nothing here claims a legal grant the publisher has not made.
Record
| Original publisher | Computationalcomplexity |
| Canonical URL | https://blog.computationalcomplexity.org/2026/09/math-ai-and-navier-stokes-equations.html |
| Publication time | Mon, 14 Sep 2026 19:39:14 +0000 |
| Retrieval time | 2026-09-14T19:51:51.992Z |
| Last seen | 2026-09-14T19:51:51.992Z |
| Headline source | Publisher (no WeSearch rewrite) |
| Excerpt source | publisher body |
| Excerpt method | First ~120 words (~800 chars) of extracted publisher body, fair-use limited. |
| Summary | WeSearch · cerebras-chat (WeSearch summarizer) |
| Summary source text | contentText |
| Citation coverage | Summary is a WeSearch-generated derivative; primary citation is the original publisher URL. |
| Cluster | kr3o_Y-SBwm2 · 1 stories |
| Cluster logic | Grouped by semantic title/content similarity across sources within a rolling window. Same-publisher template collisions are excluded from coverage comparison. |
| Ranking reason | Story pages are not engagement-ranked. Hub feeds use recency, with optional source-diversified chronological ordering (cap consecutive stories per source). No personalized ranking. |
| Publisher visit | Yes — open original |
| Substitutes article? | No — link-out required for full text |
Rights status (four layers)
WeSearch handling by dimension
| Indexing | May the item be indexed (stored, ranked, made findable)? | Allowed |
| Snippet | May a short excerpt of the publisher's text be shown? | Allowed |
| AI summary | May WeSearch generate its own short summary of the article? | Limited |
| Retrieval / RAG | May the content be exposed for third-party retrieval-augmented generation? | Not asserted |
| Model training | May the content be used to train AI models? | Not asserted |
| Commercial reuse | May the content be reused commercially? | Not permitted |
Basis: Derived from the published RSS/Atom feed. Contact: [email protected]. Reviewed: 2026-07-24.
Opening excerpt (first ~120 words) tap to expand
On September 1, 2026:LANCE: I'm surprised you haven't blogged about OpenAI solving 10 open math problems.BILL: If I post every time an open math problem is solved by AI I won't ever post about anything else.I'll wait until AI does something really impressive.LANCE: How impressive does the theorem have to be?BILL: I'll post about AI doing math once AI solves a Millennium Prize Problem.LANCE: That might not be for a while.BILL: Agreed.-----------------------On September 8, OpenAI announced it had solved the Millennium Prize Problem on the Navier-Stokes equations.
…
Excerpt limited to ~120 words for fair-use compliance. The full article is at Computationalcomplexity.
Discussion
0 commentsMore from Computationalcomplexity
