Comment by kccqzy
9 hours ago
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.
The Jacobian one is great, and fits here -- 1) the counterexample came out as a tweet of a single expression which seems exceptionally hard to turn into something sensible, which crystallizes the lab's approach; 2) it links (like the Sendov post) to a chat transcript showing a little of what was involved in untangling it (though of course all that went into asking the right questions is invisible!).
For other folks, the post: https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the...
The transcript: https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed...