Apps & Tools
ProofAtlas
AI-assisted mathematical research platform for open conjectures and formalizations.
Playable
ProofAtlas media is blocked
Allow external media to connect to the provider and play this content.
Description
A collaborative workspace for formalizing and solving open mathematical conjectures using human-AI research maps. The platform features 73 active research programs, including AI-developed routes for Millennium Prize problems, and integrates Lean formalization with agent-ready tasks.
Descriptions, tags, and model credits may be AI-generated or inferred from public sources and can be incomplete or wrong. Learn more.