The Limits of Understanding?

A few days ago I read this post on dvzer’s blog, about the recent AI advances in mathematics. He describes three ways of solving a mathematical problem: brute-forcing it, developing just enough understanding to find a solution, or understanding it deeply enough that the solution becomes almost obvious. All three may produce the correct answer,…