Mathematics has long resisted digital disruption. AI is about to change that

The painstaking formalization process to verify evidence is starting to gain momentum thanks to AI. This could radically change the way people do math.