Claude Fable produced a counterexample to the Jacobian Conjecture
Mirrored from Hacker News — AI on Front Page for archival readability. Support the source by reading on the original site.
Jul 20, 2026 · 2:19 AM UTC
371
2,386
321,726
wolframalpha.com/input?i=%28…
wolframalpha.com/input?i=%28…
evaluating at two of those points in wolfram alpha
2
102
21,653
Replying to @__alpoge__
is this the same as in Yitang Zhang's thesis?
math.purdue.edu/~ttm/Zthesis…
28
14,643
Yo he is so incredible. i was at his first talk on small gaps:D the story was that he relied on a result which had a gap right
43
13,442
This is the most hilarious / horrifying problem because it is like the canonical crank graveyard. Ty 4 investment🙏
127
11,286
Replying to @__alpoge__
maybe a stupid question, but doesnt this also imply that dixmier conjecture and poisson conjecture are false in general?
13
3,142
Replying to @__alpoge__
Oh. OH. this is the type of post you should be starting with a Y'ALL. LISTEN.
4
970
Replying to @__alpoge__
I would appreciate it if you tell everyone here how you found this counterexample.
332
Replying to @__alpoge__
if ur some math guy who's been working on this for 20 years, do u love or hate AI as a result
1
8
1,241
Replying to @__alpoge__
@__alpoge__ can I PR the following formalization to the Counterexamples folder of Mathlib (suggested by Ricardo Brasca): live.lean-lang.org/#codez=JY…
Discussion (0)
Sign in to join the discussion. Free account, 30 seconds — email code or GitHub.
Sign in →No comments yet. Sign in and be the first to say something.