I suspect the AI frontier labs will also soon turn their tools loose on the entire corpus of historical math papers to check for errors. They'll likely find that some major areas of math are built on a very shaky foundation.