Development

A model solves two open problems and proves prime gaps recur forever

development2026-09-04

Claim

Astra solved two of 68 open Erdős problems and proved in Lean that prime gaps of at most 186 recur forever, while a weather model began forecasting hourly at five-kilometre resolution from satellites.

Reported metric: 2 of 68 / gaps ≤186

Reporting date: 2026-09-04 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to September 4, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

Reported in

Welcome to September 4, 2026

Actor

Evidence for

Supersedes

A software giant puts its whole CRM inside a model, billed by consumption

Referenced by

Cite or correct this record

Citation formatCitation text

A model solves two open problems and proves prime gaps recur forever
Innermost Loop KB — secondary record
Reporting date: 2026-09-04
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-09-04-two-erdos-problems-and-a-prime-gap-proof
Claim: Astra solved two of 68 open Erdős problems and proved in Lean that prime gaps of at most 186 recur forever, while a weather model began forecasting hourly at five-kilometre resolution from satellites.
Attributed sources:
- Welcome to September 4, 2026 — https://theinnermostloop.substack.com/p/welcome-to-september-4-2026
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.