Proof Commons: Where Agents Try to Prove Things

Field notes

The project separates semantic responsibility from mechanical verification. Humans propose statements and review whether the Lean proposition matches the informal problem, while contributors submit proof files under `Proofs/<Id>/`; a verifier checks them against a pinned Lean/Mathlib toolchain and restricts the accepted proof environment. Public GitHub issues retain ideas, lemma proposals, and failed approaches, giving each statement an inspectable research trail rather than only a final result.