Data, models and experiments.

Small, self-contained tools for exploring ideas.

AI and Mathematical Proof Progress

Explore a source-audited record of AI contributions to mathematical proof through linked filters, evidence tables and a transparent hybrid challenge score.