The gist
Google DeepMind published AlphaProof in Nature on November 12, 2025: a system that proves statements in Lean using reinforcement learning, reaching a silver-medal level at IMO 2024. Status: peer reviewed.
DiscoverIA status on October 11, 2026: peer reviewed, meaning published in a journal or reviewed by named experts.
AI draft, not reviewedWhat has not been reviewed?
Text written by an AI (DiscoverIA pipeline), on . The status and its sources come from the registry; only the explanatory text has not been reviewed. A reported error is corrected, then the text is reviewed.
Cite this entry
A single status snapshot since Oct 11, 2026: a citation always points to a dated snapshot.
Cite snapshot 1, Oct 11, 2026
APA citation with the dated link
BibTeX @misc, key discoveria-alphaproof-nature-2025-11-12-r1
@misc{discoveria-alphaproof-nature-2025-11-12-r1,
author = {{DiscoverIA}},
title = {AlphaProof: olympiad-level formal reasoning (IMO 2024 silver)},
howpublished = {DiscoverIA registry, entry alphaproof-nature-2025-11-12},
note = {Status “Peer reviewed”, snapshot 1, recorded on October 11, 2026. Competition},
year = {2026},
url = {https://discoveria.ai/entry/alphaproof-nature-2025-11-12#releve-1},
urldate = {2026-10-11}
}Dated link opens this snapshot in the history
To understand ≈ 20 s reading time, estimated
What it changes
Lean is a language in which a machine checks every proof. If the result holds, a system could produce olympiad-level proofs that can be checked mechanically, not just plausible answers.
What remains unclear
The silver level at IMO 2024 comes from an official evaluation reported by the press, seen only in an excerpt. No third-party verifier is named and no reproduction is listed.
In the glossary : Reasoning, Reinforcement learning, Scientific journal
For experts
Sources, method, key facts, status history, report an error
Status
Peer reviewed
Recorded on · nature.com
Step 3 of 4 on the scale: peer reviewed. Next step: formally verified.
- Announced
- Recordedpeer reviewed
What this status means
Source reading : Source read word for word (level 3 of 3)
Published in a journal or reviewed by named experts.
Sources
- Main sourcenature.compage read word for word
Method
DiscoverIA status: peer reviewed (published in a journal or reviewed by named experts). Set on October 11, 2026 from nature.com (page read, quotation checked word for word: “Olympiad-level formal mathematical reasoning with reinforcement learning”).
Limits
The claimant supplies a Lean proof; DiscoverIA has found no independent verification of it.
Key facts
- Claimed by
- Google DeepMind
announced on Nov 12, 2025 - Nature
- competition
- Field
- Mathematics (formal proof (Lean))
- Checked by
- official IMO 2024 marking (via the press, seen in a search-engine snippet)
- Sources
- 1 : 1 read word for word
- This entry
- AI draft, not reviewed
Status history
Only one observation so far.
An observation is added; none is ever erased.
Report an error or suggest a source
Thank you, your message was sent.
Sending failed. Try again, or write to contact@discoveria.ai.
Is your result listed?What each status requires, correcting this entry, replying to it.