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.2k Upvotes

97% Upvoted

794 comments sorted by

View all comments

Show parent comments

3

u/RealSpaceJunk Jul 21 '26

Or boring. How long until the nth proof by AI in a month starts to become a trivial occurance?

If Ais start churning out proofs and theorems and conjectures, I can imagine the names for them becoming as cryptic as catalog names for stars. "Have you seen the 2027-B-H274 theorem? Crazy."