'Proof by intimidation': AI is confidently solving 'impossible' math problems. But can it convince the world's top mathematicians?

AI is becoming very, very good at solving math proofs, raising the specter that at some point, it will be able to find solutions that even the world's best mathematicians will struggle to understand. AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?