> The incredible Yitan Zhang (https://newyorker.com/magazine/2015/02/02/pursuit-beauty) worked on proving this conjecture for 7 years. Moh, his advisor, wrote that Zhang "failed miserably" in proving the Jacobian conjecture, "never published any paper on algebraic geometry" after leaving Purdue, and "wasted seven years of his own life and my time".
Interestingly: "For logic proof, it had been thought that AI could handle all logic problems in the near future, hence logic problems of solving conjectures might not be so interesting in the future."
kind of a wild document to exist...