AI-assisted mathematical proofs