Sharing AI progress in mathematics

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

Oct 6, 2026

Score██████░░░░5.6

VerdictCompetent work. Briefs at most.

Read at OpenAI

Summary from the source

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

The editor's rubric

Heuristic review

Dimension	Level	Weight	What that level means
Leverage	██░░░ 2	15%	Reusable within one subfield (a technique, dataset, or protocol a few groups will adopt).
Magnitude	██░░░ 2	20%	Solid incremental gain on a meaningful problem.
Evidence	██░░░ 2	20%	Limited: single setting, weak baselines, or an observational association presented as causal.
Novelty	██░░░ 2	10%	A new combination of known ideas.
Trajectory	██░░░ 2	10%	Some room to improve with obvious engineering.
Stakes	██░░░ 2	25%	Benefits a professional community (practitioners, clinicians, engineers).

Editor’s rationale

Heuristic triage from title and abstract text only, not a reading of the paper. No strong cues found.

How the score was computed

rank-2026-09-29

Score██████░░░░5.6

Score = 10 × (50% × adjusted merit / 10 + 25% × attention + 25% × freshness)

Merit: 3.4 / 10; Weighted rubric, evidence-gated.
Adjusted merit: 3.8 / 10; Shrunk toward the desk prior by editor confidence (30%).
Attention: 84%; Citations, upvotes, points, mentions.
Freshness: 63%; Half-life decay since publication.

Hacker News points254 (reference 150, via hn, Oct 7, 2026, 00:09 UTC)
Hacker News comments216 (reference 80, via hn, Oct 7, 2026, 00:09 UTC)

The record

Reviewed by heuristic-v2 on Oct 7, 2026, 00:09 UTC. Paper type: news.
Categories: Research
BRIEF, No.2 in the Front page edition of October 7, 2026.
BRIEF, No.2 in the Artificial Intelligence edition of October 7, 2026.
TOP, No.1 in the News edition of October 7, 2026.