The elites don't want you to know this, but you can just apply AI math to solve computational and technology problems before official mathematics says anything either way. Application is the ultimate test, standard, and for most reasons only proof checking we need.