Above the Fog

AI in math 💡 Concepts

AI in math is 💤 Quiet on Above the Fog’s AI hype radar: a hype score of 0 out of 100 on Sep 27, 2026, 29 points lower than 7 days before. Its attention is within the normal range across the monitored sources. Its last hype episode in the 30-day window ran from Sep 5 to Sep 23 (peak 98 on Sep 8).

AI-generated math proofs: OpenAI says 10,000 agents solved Navier–Stokes (Sep 8, 2026, proof in Lean 4, with a priority dispute) and is now targeting the Hodge Conjecture.

First seen on Reddit · Sep 13 — the first monitored source to go above normal for it in the last 14 days.

Why this stage: within the normal range across monitored sources.

Stage
💤 Quiet — within the normal range across the monitored sources
Hype score
0 / 100 · −16 in 1 day · −29.1 in 7 days
In hype since
not in hype now
Peak, 30 days
98.1 on Sep 8, 2026
Category
💡 Concepts
Sources above normal
0 of 24 scoring it (0 independent families)
Stories in 7 days
43
Share of voice
0.4% of the radar’s attention in 7 days

Where the attention comes from

“Normal” is the median of the source’s previous 14 normal days for this topic. A source is above normal when its value is at least 30% over that level and stands out from its usual day-to-day variation (z ≥ 2); the share is the part of the hype score that source explains. “× normal” is left blank when the normal level is 0.

SourceMetricLatestNormal× normalAbove normalShare of score
DEV Community (dev.to)items10—no0%
Blueskytrending0 (Sep 26)0—no0%
Developer forums (Cursor, OpenAI, Hugging Face)items00—no0%
GitHubnew repos0 (Sep 25)0—no0%
GitHub Trendingtrending0 (Sep 26)0—no0%
Google Trends (Trending now)trending0 (Sep 26)0—no0%
Google Trends (search interest)search interest0.8 (Sep 26)0.81×no0%
Hugging Face Daily Papersitems00—no0%

Stories behind it

  1. Opus 5.5 reportedly caught OpenAI off guard, compressing GPT-6.1 Astra’s timeline and indirectly bringing “Bel,” the model that solved Navier–Stokes, closer to release — Reddit (r/singularity) · Sep 24 · score 701 · 150 comments
  2. Did OpenAI solve the wrong Navier-Stokes problem? — Hacker News (scientificamerican.com) · Sep 22 · score 122 · 70 comments
  3. Did OpenAI solve the wrong Navier-Stokes problem? — HN: front-page time (ClickHouse) (scientificamerican.com) · Sep 22 · score 114 · 64 comments
  4. Jev: System One models for Prod, not God — with Diogo Almeida, CEO, TypeSafe AI — AI newsletters (RSS) (Latent Space) · Sep 21 · score 49 · 5 comments
  5. Did OpenAI solve the wrong Navier-Stokes problem? — Lobste.rs (#vibecoding) · Sep 22 · score 10 · 10 comments
  6. Did OpenAI solve the wrong Navier-Stokes problem? https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem/ Comments: https://news.ycombinator.com/item?id=49795260… — Mastodon (fediverse) (mastodon.social) · Sep 22 · score 3 · 0 comments
  7. Navier-Stokes solved? What OpenAI's proof shows and why it's disputed — DEV Community (dev.to) (#openai) · Sep 28 · score 0 · 1 comment
  8. Can we take a moment to appreciate that with 950 Claude agents running for only 21 hours searching genomic data, Anthropic may have found a new CRISPR-like gene-editing mechanism — Reddit (r/singularity) · Sep 23 · score 464 · 99 comments
  9. I'll emphasize: math is not solved — Reddit (r/singularity) · Sep 21 · score 194 · 142 comments
  10. If I told you that navier-stokes will be solved before an AI robot can autonomously clean your bedroom — Reddit (r/singularity) · Sep 22 · score 141 · 58 comments
  11. I finally understood what the problem about Navier Stokes was (in general terms, I don't and I'll never understand the technical details). Thanks to: @standupmaths https://www.youtube.com/watch?v=c79… — Mastodon (fediverse) (mastodon.uno) · Sep 22 · score 0 · 1 comment
  12. “Furthermore, last Thursday, three mathematicians posted a proof of their own that showed that OpenAI’s method can never be extended to solve the full problem. In other words, the loophole will never… — Mastodon (fediverse) (social.edu.nl) · Sep 22 · score 2 · 0 comments

Themes

What its stories of the last 7 days are about: the 41 of them the Jev model kept as about the scene, by theme (a story can carry several themes):

Related topics

Related to
OpenAI, GPT-6 Astra, AGI - superintelligence, Recursive self-improvement
Mentioned with
Anthropic (18 stories), Claude Fable - Mythos 5.1 (6 stories), AI slowdown (5 stories), Physical AI - humanoids (3 stories)

Hype score, last 30 days

DayHype scoreStage
Sep 27, 20260💤 Quiet
Sep 26, 202616🧊 Cooling
Sep 25, 202617.7🧊 Cooling
Sep 24, 202619.5🧊 Cooling
Sep 23, 202628.9🧊 Cooling
Sep 22, 202637.5🚀 Rising
Sep 21, 202628.7🧊 Cooling
Sep 20, 202629.1🧊 Cooling
Sep 19, 202619.2🧊 Cooling
Sep 18, 202637.6🧊 Cooling
Sep 17, 202652.4🧊 Cooling
Sep 16, 202653.2🧊 Cooling
Sep 15, 202641.5🧊 Cooling
Sep 14, 202650.5🧊 Cooling
Sep 13, 202650.4🧊 Cooling
Sep 12, 202662.3🔥 Hot
Sep 11, 202673.7🔥 Hot
Sep 10, 202686.1🔥 Hot
Sep 9, 202693🔥 Hot
Sep 8, 202698.1🚀 Rising
Sep 7, 202626.3🧊 Cooling
Sep 6, 202637.3🔥 Hot
Sep 5, 202652.6🚀 Rising
Sep 4, 202620.6💤 Quiet
Sep 3, 202616.1💤 Quiet
Sep 2, 202619.6💤 Quiet
Sep 1, 202612.5💤 Quiet
Aug 31, 20260💤 Quiet
Aug 30, 20260💤 Quiet
Aug 29, 20260💤 Quiet

Open AI in math in the interactive map →