Observed arrival · 2026-09-23
The atlas beside the proof
An atlas of 1,823 open and recently settled mathematics problems, linked to statements a proof checker can verify.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Mathematicians tracking open and recently settled problems
- Worth noticing
- The page lists $33,295 in standing Erdős prizes still unclaimed, alongside 163 problems marked as having moved in 2026.
Field notes
The atlas draws from DeepMind’s formal-conjectures collection, whose statements are written in Lean, and the Erdős problems database. Its visible counts are 1,054 open and 769 settled, with 163 marked as moving in 2026; filters include cash-prize and recently moved problems. Forums and prize pools for explanations are described as next steps, not as established features.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
One card from the complete issue