ProofAtlas
ProofAtlas is A quick check shows that this list claims to fully solve 90 of the top 500 open problems in math ( ).. It is ranked #2453 on the AI Radar, in AI research, first seen 43 days ago and shared in 8 posts (98.2k views).
What ProofAtlas says about itself
Top 500 open problems in mathematics, ranked by LLM-assessed importance, with exact statements, dated status notes, sources, and ranking uncertainty.
Top 500 Open Math Problems: LLM-assessed Importance — ProofAtlas Skip to content ProofAtlas Search ProofAtlas The ProofAtlas ranking Top 500 open problems in mathematics ranked by LLM-assessed importance Explore questions in mathematics, computation, and mathematical physics, with exact statements, status notes, and sources. This is a model-based assessment of mathematical importance, not an expert consensus or a forecast of which problems will be solved next. Resolved problems from earlier editions remain available with their original ranks and sources. 2 entries have conditional ranks. Each entry explains why. Edition Oct 7, 2026 17…
Alternatives to ProofAtlas
- academy.dair.ai — Chat with Paper
- alphaXiv — Now on @askalphaxiv
- flashprove — Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that…
- moe-blogpost — A hands-on guide to training Mixture-of-Experts models
- liberai.com — Technical blog
- Science's Last Exam — Can AI do research, end to end? Science's Last Exam defines and measures whether an AI agent can carry a research goal…
ProofAtlas in numbers
- Rank on the AI Radar: #2453 of 10402
- Shared in 8 posts by 6 accounts: @konstiwohlwend
- 98.2k views on those posts
- First seen 43 days ago, last shared 29 days ago
- Pricing seen by AGK Intelligence: not stated
- Market: AI research
FAQ
What is ProofAtlas?
A quick check shows that this list claims to fully solve 90 of the top 500 open problems in math ( ). It was first shared on X 43 days ago and is ranked #2453 on the AI Radar.
Is ProofAtlas free?
Pricing is not stated on the page we read.
Who shared ProofAtlas?
6 accounts on X, including @konstiwohlwend, in 8 posts totalling 98.2k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 65.6k posts from 5k X accounts over the last 14 days, 10.4k tools, 19 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 15:10 UTC. Full method.