Jacobian conjecture was infamous for attracting wrong proofs by human, in 2008, it was said that "Perhaps it will take human being another 100 years to solve it" and not even 20 years later, AI solved it.
Jacobian conjecture was infamous for attracting wrong proofs by human, in 2008, it was said that "Perhaps it will take human being another 100 years to solve it" and not even 20 years later, AI solved it.