Comment by linhvn

If this is the viewpoint of mathematics, why does it make a difference that human or AI solve it? And forget about "understanding", because "understanding" in mathematical sense means in a very narrow way: top experts of math in certain field would understand and accept it (my estimation is that ~100 people in the world would understand Fermat's Last Theorem proof). Mathematicians could spend the whole year digesting FLT and "convince" the public that this is correct, and for most people (including math PHDs and professors), FLT is correct because some smart people say it is.