If AI begins discovering mathematics beyond human invention, does that mean humans will be unable to understand it? Discovery, verification, explanation and understanding are different abilities.