Release-aware progress atlas
AI Contributions to Erdos Problems
Trace when AI systems moved the mathematical frontier—and inspect the evidence behind every step.
Progress over time
Cumulative solved problems
Evidence preview
Recent contributions
Choose columns
Composition
Contributions by model
Contribution mix