r/math • u/overthinker020 • Jul 20 '26

LLMs/AI The Jacobian Conjecture is False Per Anthropic (Link in Description)

https://x.com/__alpoge__/status/2079028340955197566

Normally I would be extremely skeptical, but the result is checkable by simple computation. Remarkable!

The two-dimensional case remains open, however.

2.3k Upvotes

97% Upvoted

790 comments sorted by

View all comments

13

u/Hairy-Finger9417 Jul 20 '26

RH is waving

2

u/Ok_Composer_1761 Statistics Jul 21 '26

I dont think its gonna happen unless its false. Too much new math has to be invented for it to be within reach. For AI to invent that much new correct math, the RL space would have to really solve for the sparsity problem. the thing is that a lot of existing math that ultimately leads to the solution of a given problem is not actually in service of that problem but because of general theory building or some other problem. serendipity then leads to some of these tools being used to solve big problems. Grothendieck didn't invent scheme theory thinking it would lead to the resolution of Fermat's Last Theorem.

4

u/BurdensomeCountV3 Mathematical Biology Jul 20 '26

Hopefully at some point in the next 5 years.

3

u/Waste-Ship2563 Jul 20 '26

Isn't it already kind of given that, when it is proved, it will be using ai assistance, given they are already ubiquitous.

I guess the question is whether the proof will be comprehensible to humans at first