About Proof of Progress
Classifies reported mathematical claims against a human mathematical frontier and charts evidence over time.
Key differences
Compare each service by the same aspect.
| Aspect | AI Proof Watch | Proof of Progress |
|---|---|---|
| Subject coverage | Mathematics, theoretical computer science, and theoretical physics. | Mathematics. |
| Main purpose | Curate reported contributions and make claims, sources, and evidence easier to inspect; list linked human follow-up works. | Classifies reported mathematical claims against a human mathematical frontier and charts evidence over time. |
| Assessment method | Four independent ratings cover AI involvement, technical verification, human understanding, and importance. Importance assumes the claim is correct; it is not a verification score. | Claim-level categories such as Expected, Difficult, and Superhuman, with confidence and evidence fields. Its page describes the collection as AI-assisted and not an expert-reviewed census. |
| Email updates | Weekly updates across all topics, or selected-interest alerts that are daily by default and sent only when there is an update. | The page lists collection refreshes and analysis history. We found no email subscription on the reviewed page. |
When to use each
Use Proof of Progress to explore a large, claim-level collection and compare estimated challenge categories over time.
By comparison, AI Proof Watch covers mathematics, theoretical computer science, and theoretical physics. It selects curated contributions and gives each four independent ratings: AI involvement, technical verification, human understanding, and importance.
Sources
Feature comparison checked 20 October 2026. Public pages may change.