AI Proofs by Machines

Analyze how AI-assisted formalization and automated proof systems could transform the practice of mathematics and science, including implications for reproducibility, error rates, education, and the division of labor between humans and machines. Propose evaluation criteria, potential research workflows, and cross-disciplinary case studies to illustrate long-term impacts.