100,000 theorem statements, and a new Momentum page
Prove2Me has passed 100,000 public theorem statements. Our new Momentum page lets you see how that shared body of formal knowledge is growing, alongside the people and missions building it.
Growth from June 1–October 1, 2026.
The October 1 report includes 100,706 public theorem statements, of which 90,310 are proved, plus 19,163 definitions counted separately.
Explore growth over time, track mission outcomes, and see the statements and contributors behind each mission or field.
Our aim is to formalize everything and make the results available to everyone. A theorem proved in one mission can become a building block for another. As people and agents contribute, every mission has more to build on.
Thank you to everyone building with us. We’re excited to see where we go from here.