MathCoPilot reframes AI mathematics as guided formal collaboration

A July 16, 2026 arXiv study argues that frontier mathematical AI needs a mathematician in the loop, not just an autonomous prover.