← all entries
B-TIER news

Jacobian conjecture — AI-claimed counterexample explained via maps

ffppod · 2026-07-25T21:32:57.000Z · in AI Saves, Vol. 8
Open post ↗

100k ft — What is this?

Jacobian conjecture — AI-claimed counterexample explained via maps
newsB-tier

50k ft — Why care?

Explains the claim that an AI found a counterexample to the century-old Jacobian conjecture: whether a polynomial map with constant nonzero Jacobian determinant is always globally invertible. Walks through Jacobians as area ratios using the Mercator projection.
3Deducationnews

10k ft — Key takeaways

• Local invertibility from a nonzero Jacobian doesn't automatically mean global invertibility • The Jacobian is the local area/volume scaling of a map

5k ft — Tools & techniques

Anthropic Jacobian determinant

1k ft — Deep-dive / try it

AI has just provided a counter example to the Jacobian conjunction. Is mathematics safe? #ai #mathproblems
Transcript excerpt
It looks like he's trolling. Yeah, yeah. Hello there. The Jacobian conjecture is false. Thanks. And T-H-A-N-X-A-I figured out this crazy math problem. It's almost a hundred years old. It seems like it's a very big deal. Yes. And it's very understandable. We have to first understand functional maps, which in physics language, we like to call coordinate transformations. A map in this mathematical sense is when all of the points in your original space get mapped to a new space. In this case, a 2D plane being mapped to another 2D plane. A square is taken into a parallelogram. The Jacobian is the ratio between the new area and the old area. Which can also scale from 2D. Yes. You can have volumes, for example. The reason why it's called a map is from this concept of like maps of the earth. You can think about the Mercator projection. Areas near the poles get larger. That's why Africa looks small and Greenland looks the size of Africa. Because the Jacobian near Greenland is much larger than the Jacobian near Africa. But there's other projections where they try to preserve the Jacobian everywhere. But then that's going to distort the shape in some sense. Now here we've got an example where the determinant is a non-zero constant. Meaning no matter where I am in my map, the ratio of the areas is actually exactly the same. That little green area becomes a parallelogram. If I were to take that area and put it up top, the parallelogram might get more squished. It might have a different…

More from @ffppod

Collection: AI Saves, Vol. 8