Alex LI

Claim-Level Verification for AI-Assisted Mathematics: A Kernel-Closed Hamilton Classification and a Mixed-Boundary Rado Study

Proof Engine programme: companion case study. For the flagship methodological account, start with Proof Engine Infrastructure. AI-assisted mathematical work often combines formal proofs, solver outputs, and explicit witnesses. Readers need to know which claim each object supports...