Terence Tao's ChatGPT Conversation Analyzing the AI-Generated Jacobian Conjecture Counterexample

What happened

Terence Tao, one of the world's most celebrated mathematicians and a Fields Medal winner, shared a public ChatGPT conversation walking through the AI-generated counterexample to the Jacobian Conjecture produced by Claude Fable, scoring 932 points on Hacker News within hours.

Context and impact

The Jacobian Conjecture is one of Hilbert's 1900 problems - a long-standing open problem in algebraic geometry. An AI model reportedly solved it days ago. Tao's public vetting lends the result a legitimacy no other assessment can match.

Details

• The Jacobian Conjecture: whether every polynomial endomorphism with everywhere nonzero Jacobian determinant is a bijection
• Tao used ChatGPT as an interactive consultant to verify the proof step by step
• The full conversation is publicly shared and readable
• HN score 932 - one of the most-discussed AI stories of the day
• Follows the original announcement at xenaproject.wordpress.com (July 20)