MGMR pilot

A repository for machine-generated mathematics, organized by individual statement, independent of AI labs, centered on human review.

This page is a placeholder. Records, statements and reports appear here once the site build lands (milestone M3).