Math long resisted a digital disruption. AI is poised to change that(sciencenews.org)

https://www.sciencenews.org/article/math-disrupted-by-ai-verify-proofs