Data, models and experiments.

Small, self-contained tools for exploring ideas.

AI and Mathematical Proof Progress

Explore source-audited AI contributions to mathematical proof through linked evidence, corpus-wide taxonomy v0.2 coding and transparent challenge context.