A korrentour readingWhat is a korrent?
What AI still cannot do in mathematics is build cumulatively on partial progress; it is trial, error and brute force rather than an idea improving through use.
Drawn from what Terence Tao said
What this subject means
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.