What has actually been checked?

Exact Mathematics records literature search, human review, formal checking, text–formal-source correspondence, explanatory material, and public release separately.

exactmathematics.org/verification/

Official account for Exact Mathematics with AI — an independent research initiative for mathematical discovery, formal verification, and human understanding.

Updates will be posted selectively.

exactmathematics.org