The word "just" is the mark of a coward.

AI is only as good as a human mathemetician, which we don't have enough of? "just"?

https://en.wikipedia.org/wiki/Jacobian_conjecture

> The conjecture was first stated for two variables by Ludwig Kraus in 1884 [...] an example of a difficult question in algebraic geometry that can be understood using little beyond a knowledge of calculus.

> The Jacobian conjecture is number 16 in Stephen Smale's 1998 list of Mathematical Problems for the Next Century. It was notorious for the large number of published and unpublished false proofs that turned out to contain subtle errors.