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.
| Source | Metric | Latest | Normal | × normal | Above normal | Share of score |
|---|---|---|---|---|---|---|
| DEV Community (dev.to) | items | 1 | 0 | — | no | 0% |
| Bluesky | trending | 0 (Sep 26) | 0 | — | no | 0% |
| Developer forums (Cursor, OpenAI, Hugging Face) | items | 0 | 0 | — | no | 0% |
| GitHub | new repos | 0 (Sep 25) | 0 | — | no | 0% |
| GitHub Trending | trending | 0 (Sep 26) | 0 | — | no | 0% |
| Google Trends (Trending now) | trending | 0 (Sep 26) | 0 | — | no | 0% |
| Google Trends (search interest) | search interest | 0.8 (Sep 26) | 0.8 | 1× | no | 0% |
| Hugging Face Daily Papers | items | 0 | 0 | — | no | 0% |
Stories behind it
- 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
- Did OpenAI solve the wrong Navier-Stokes problem? — Hacker News (scientificamerican.com) · Sep 22 · score 122 · 70 comments
- Did OpenAI solve the wrong Navier-Stokes problem? — HN: front-page time (ClickHouse) (scientificamerican.com) · Sep 22 · score 114 · 64 comments
- 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
- Did OpenAI solve the wrong Navier-Stokes problem? — Lobste.rs (#vibecoding) · Sep 22 · score 10 · 10 comments
- 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
- Navier-Stokes solved? What OpenAI's proof shows and why it's disputed — DEV Community (dev.to) (#openai) · Sep 28 · score 0 · 1 comment
- 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
- I'll emphasize: math is not solved — Reddit (r/singularity) · Sep 21 · score 194 · 142 comments
- 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
- 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
- “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):
- Models — 71% of its stories
- Other AI — 15% of its stories
- Security & safety — 9.8% of its stories
- Companies & business — 7.3% of its stories
- Policy & macro — 7.3% of its stories
- Usage & adoption — 4.9% of its stories
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
| Day | Hype score | Stage |
|---|---|---|
| Sep 27, 2026 | 0 | 💤 Quiet |
| Sep 26, 2026 | 16 | 🧊 Cooling |
| Sep 25, 2026 | 17.7 | 🧊 Cooling |
| Sep 24, 2026 | 19.5 | 🧊 Cooling |
| Sep 23, 2026 | 28.9 | 🧊 Cooling |
| Sep 22, 2026 | 37.5 | 🚀 Rising |
| Sep 21, 2026 | 28.7 | 🧊 Cooling |
| Sep 20, 2026 | 29.1 | 🧊 Cooling |
| Sep 19, 2026 | 19.2 | 🧊 Cooling |
| Sep 18, 2026 | 37.6 | 🧊 Cooling |
| Sep 17, 2026 | 52.4 | 🧊 Cooling |
| Sep 16, 2026 | 53.2 | 🧊 Cooling |
| Sep 15, 2026 | 41.5 | 🧊 Cooling |
| Sep 14, 2026 | 50.5 | 🧊 Cooling |
| Sep 13, 2026 | 50.4 | 🧊 Cooling |
| Sep 12, 2026 | 62.3 | 🔥 Hot |
| Sep 11, 2026 | 73.7 | 🔥 Hot |
| Sep 10, 2026 | 86.1 | 🔥 Hot |
| Sep 9, 2026 | 93 | 🔥 Hot |
| Sep 8, 2026 | 98.1 | 🚀 Rising |
| Sep 7, 2026 | 26.3 | 🧊 Cooling |
| Sep 6, 2026 | 37.3 | 🔥 Hot |
| Sep 5, 2026 | 52.6 | 🚀 Rising |
| Sep 4, 2026 | 20.6 | 💤 Quiet |
| Sep 3, 2026 | 16.1 | 💤 Quiet |
| Sep 2, 2026 | 19.6 | 💤 Quiet |
| Sep 1, 2026 | 12.5 | 💤 Quiet |
| Aug 31, 2026 | 0 | 💤 Quiet |
| Aug 30, 2026 | 0 | 💤 Quiet |
| Aug 29, 2026 | 0 | 💤 Quiet |