Comment by kccqzy

Besides Sendov’s Conjecture, Terence Tao has also shared his AI-assisted digestion of the counterexample to the Jacobian conjecture. In simple words, digestion just means full human understanding of the results. It could come from understanding the result from a different perspective, or perturbing the result and seeing what breaks.