Name: Frontier Score for "AlphaProof reaches silver-medal level at the Math Olympiad"
Rating: 48
Author: Frontier

What it is

AlphaProof is an AlphaZero-style agent that learns to write formal proofs in the Lean proof language, training by reinforcement learning over millions of automatically formalized problems. On the hardest problems it uses test-time RL, generating and learning from many related variants at inference to adapt to the specific problem. At the 2024 International Mathematical Olympiad it solved three of the five non-geometry problems, including the competition's hardest, and combined with AlphaGeometry 2 reached a score equal to a silver medallist.

Why it matters

Formal proofs are machine-checkable, so unlike most language-model math this reasoning is verifiably correct rather than merely plausible. A silver-medal-equivalent IMO score was the first medal-level result for an AI system, and this peer-reviewed work is the groundwork behind the gold-medal reasoning systems that followed in 2025.

Underlined numbers link to their source. Every metric and quoted figure is listed under Sources and data below.

Filed underformal proofs, reasoning, Lean, IMO, AlphaProof

Watch

A short explainer of this result.

Scored 2026-09-28How scoring works

The Frontier Score, in full

How this entry's score is built, term by term. Open any pillar to see each sub-metric's raw value, how it maps to 0 to 100, and the record that holds it.

The three pillars as one shape: a result strong on every axis fills the triangle.

How the Frontier Score is calculated for this breakthrough
Term	Score	Weight	Points
EvidenceHow established and verifiable the result is.	96	× 0.25	23.9
ImpactHow much the result matters, judged field-relative and by current momentum.	69	× 0.25	17.2
NoveltyHow genuinely new the result is, and how fast-moving.	55	× 0.50	27.6
Weighted pillars			68.6
Frontier recency11 months since publication		× 0.70
IntegrityNot retracted		× 1
Frontier Score			48

Confidence: Firming upGaining evidence: about 15 citations so far, its trajectory is still forming. Corroborated beyond citations (cited on Wikipedia).

Every sub-metric, traced to its source

EvidenceHow established and verifiable the result is.96

Evidence sub-metrics
Sub-metric	Raw value	0 to 100	Weight	Points	Source
Peer review & venueWhether the work has cleared peer review, and how selective its venue is. Peer review is necessary but not sufficient: before citations accrue, a fresh result in the most selective venues (Nature, Science, Cell, NEJM, the Lancet, PNAS, Physical Review Letters/X) is a stronger evidence signal than one in a legitimate but very high-volume mega-journal, which in turn outranks a preprint that has not been reviewed at all.Maps to 0 to 100: Peer-reviewed article graded by venue prestige: flagship 100, elite-family 90, high-volume mega-journal 78. Review 90, book 70, dataset 60, preprint 45, other 55.	Peer-reviewed	100	0.30	30.0	OpenAlex type / primary_location / source
CorroborationIndependent corroboration that the result is real and being taken up, read as the BREADTH of agreement rather than the size of the citation pile. Counts how many of the five independent citation indices (OpenAlex, Crossref, Semantic Scholar, OpenCitations, Europe PMC) report the work at all, plus orthogonal, non-citation lines of corroboration: entry into the encyclopedia, registered clinical trials, released datasets or software, public funding on record, and technical-community discussion. Citation MAGNITUDE is deliberately judged under Impact, not here, so Evidence and Impact measure genuinely different things instead of both rewarding the same citation pile twice.Maps to 0 to 100: Starts at 28 and rises with each of the five independent citation indices that agree the work is cited (+9 each) and each orthogonal non-citation corroboration line (+6 each: Wikipedia, clinical trials, open datasets or software, public funding, community discussion). Capped at 100.	5 of 5 citation indices agree, 2 independent non-citation lines	85	0.30	25.5	OpenAlex, Crossref, Semantic Scholar, OpenCitations, Europe PMC, DataCite, NIH RePORTER, Wikipedia, Hacker News count of agreeing indices + orthogonal reach
VerifiabilityHow openly the result can be read, reused, and reproduced. Rewards open access, a permissive reuse license (CC-BY/CC0), a green repository copy anyone can archive, openly minable full text, and released datasets or software a reader can actually run. Cross-checked across OpenAlex, Unpaywall, Europe PMC, and DataCite.Maps to 0 to 100: Closed 45; open access 80+; a permissive CC license 100; a repository copy, open full text, or a released dataset/software artifact each raise the floor.	Open access (hybrid), CC-BY, repository copy	100	0.20	20.0	OpenAlex, Unpaywall, Europe PMC, DataCite is_oa / license / has_repository_copy / open datasets
IntegrityRetraction and post-publication correction status. A retracted result is not evidence of anything and collapses the whole Frontier Score; a correction or expression of concern is a softer flag. Read across OpenAlex and Crossref (both update-to and updated-by notices).Maps to 0 to 100: Clean 100; a correction or expression of concern 75; retracted 0. Flagged if OpenAlex OR Crossref records the notice.	No retraction or concern on record	100	0.20	20.0	OpenAlex, Crossref is_retracted / update-to / updated-by

ImpactHow much the result matters, judged field-relative and by current momentum.69

Impact sub-metrics
Sub-metric	Raw value	0 to 100	Weight	Points	Source
Field-normalized impactImpact relative to the world average for the same field, year, and type, so a small field and a large field are judged fairly. Triangulates three independent field-normalized measures: OpenAlex's Field-Weighted Citation Impact, its citation percentile within the exact field-and-year cohort, and the NIH iCite Relative Citation Ratio. 1.0x is average; the percentile is the share of same-field, same-year work it out-cites.Maps to 0 to 100: Each ratio (1.0 = field average) maps 1.0 to 50, 3.0 to 75, 9.0 to 90; the field+year percentile maps directly (top 1% -> ~99). The available measures are averaged. Falls back to a saturating citation count when none is available yet.	13.9x FWCI, top 1% of field-year vs field	96	0.45	43.2	OpenAlex, NIH iCite fwci / citation_normalized_percentile / relative_citation_ratio
Influential citationsCitations that genuinely build on the work rather than mention it in passing (Semantic Scholar's influential-citation measure). A sharper signal of real impact than a raw count.Maps to 0 to 100: Saturating: 15 influential citations maps to 50. Falls back to a fraction of consensus citations when unavailable.	13 influential	46	0.20	9.3	Semantic Scholar influentialCitationCount
Citation velocityCitations received in the trailing twelve months, judged as a rate rather than a lifetime total. Momentum is what a frontier index cares about: a result being taken up fast right now is landing, whether its lifetime pile is large or still small. Where an expected field citation rate is known, the momentum is also read relative to it, so a fast-moving result in a quiet field is not overlooked.Maps to 0 to 100: Saturating: 30 citations in the last twelve months maps to 50. When NIH iCite provides the field's expected rate, this is blended evenly with the ratio of observed to expected momentum.	14 in last 12 months (1.6x field rate)	47	0.35	16.3	OpenAlex, NIH iCite counts_by_year / field_citation_rate

NoveltyHow genuinely new the result is, and how fast-moving.55

Novelty sub-metrics
Sub-metric	Raw value	0 to 100	Weight	Points	Source
Conceptual noveltyHow genuinely new the contribution is, measured at publication from the work's OWN content, not its date: how atypical its combination of research areas is versus all prior work, and whether it builds on a broad, deep base rather than only the newest papers in a fast-moving area. This is what separates a real advance from a recent-but-commodity result, and it needs no forward citations, so it is stable for brand-new work. An honestly noisy proxy (even state-of-the-art novelty measures agree only moderately with expert judgment), so it carries bounded weight and never drives the ranking alone.Maps to 0 to 100: Blends two publication-time signals, each 0-100: an atypical-combination score (how unusual the pairing of the work's research topics is versus the prior literature, by pointwise mutual information) and a foundational-reach score (median age and depth of the work's references). The stronger signal weighs 0.62, the weaker 0.38. When neither is measurable (a work too thin in topics or references), the pillar renormalizes over its recency signals instead.	Constraint Satisfaction and Optimization x Machine Learning in Materials Science (25 prior works made this pairing)	62	0.45	28.0	OpenAlex topics + referenced_works (publication-time)
RecencyHow recently the work appeared. The frontier is now, so newer scores higher.Maps to 0 to 100: Exponential decay with a 12-month half-life from the publication date.	11 months old	55	0.30	16.3	OpenAlex publication_date
Attention accelerationWhether attention is rising: citations in the latest full year versus the year before. Accelerating interest signals an active, opening frontier.Maps to 0 to 100: Latest/prior-year ratio: 1x maps to 50, 2x to 75, 4x to 100. Unknown is neutral.	0.3x cooling	10	0.10	1.0	OpenAlex counts_by_year
Edge of reviewPreprints and brand-new work sit ahead of the peer-review process. That earns novelty here (while it is discounted under Evidence), because it is where the frontier forms first.Maps to 0 to 100: Preprint 95, article <6 months 80, article <18 months 65, else 45.	Peer-reviewed record	65	0.15	9.8	OpenAlex type / publication_date

ProvenanceAll sources

Sources and data

Every number behind this entry, grouped by the source that holds it: up to five citation indices cross-checked, field-normalized impact, then real-world reach (Wikipedia, community discussion, clinical trials, released data and public funding) where it exists. Each value links to its record.

OpenAlex

Primary record

Total citations: 15
Field-weighted citation impact: 13.9x field average
Citation percentile: Top 1% of its field-year
Citations, recent 12 months: 14
Publication date: 2025-11-12
Access: Open access (hybrid)

Crossref

Citations: 20
Works it builds on: 80

Semantic Scholar

Citations, all versions: 219
Influential citations: 13

OpenCitations

Citations: 5

Europe PMC

Citations: 5

NIH iCite

Potential to translate: 5%

Unpaywall

Reuse license: CC-BY

Wikipedia

Wikipedia articles citing it: 1

OpenAlex record Read it in Nature

Figures quoted in the write-up

Figure	Value	Source
IMO 2024 non-geometry problems solved (including the competition's most difficult problem)	3 of 5	Nature
Overall result (first medal-level performance by an AI system; multi-day compute, with AlphaGeometry 2)	Silver-medal equivalent	Nature

AI & ComputingThe whole field

AI & Computing · Notable

Reimagining research papers as interactive and reliable AI agents

E 94I 43N 76Sep 16, 2026

AI & Computing · Notable

Large-scale semidefinite programming with graphics processing units

E 89I 51N 65Sep 28, 2026

AI & Computing · Major

Accelerating scientific discovery with Co-Scientist

A multi-agent AI system on Gemini that generates and validates scientific hypotheses

E 94I 87N 72May 19, 2026

Back to the Frontier Index, or browse every breakthrough by date.