What's this about?
Fields Medalist Terry Tao published a walkthrough of the AI-found counterexample that reportedly broke the 87-year-old Jacobian conjecture (the result GPT-6 was said to have one-shotted), translating the machine's proof into terms working mathematicians can follow and verify.
What exactly is the "Jacobian conjecture"?
A famous unsolved problem in algebra, open since 1939, about when a certain kind of polynomial map can be reversed. You don't need the specifics — the point is it resisted the world's best mathematicians for generations, so an AI producing a counterexample is a landmark claim that now needs human digestion.
What's the community saying?
HN 214 points, 71 comments
- The significance of a top human mathematician taking an AI-generated result seriously enough to formally unpack it.
- Emphasis that the human verification step is what turns a machine claim into accepted mathematics.
- Debate over what AI cracking a decades-old conjecture means for the future of mathematical research.