← 返回日报
略读 预计 4 分钟

Claude Fable produced a counterexample to the Jacobian Conjecture

摘要

帖文称 Jacobian 猜想为假,归功于 Claude Fable 生成的反例;给出显式映射 ((1 + xy)^3 z + y^2 (1 + xy)(4 + 3xy), y + 3x (1 + xy)^2 z + 3x y^2 (4 + 3xy), 2x - 3x^2 y - x^3 z) : C^3 → C^3,其 Jacobian 行列式为 -2,并列出三个点 (0,0,-1/4)、(1,-3/2,13/2)、(-1,3/2,13/2) 均映射至 (-1/4,0,0);附带 Wolfram Alpha 行列式与求值链接供验证。

荐读理由

帖中给出可验证的多项式反例及Wolfram链接,帮你更新对Claude Fable类AI在构造原创数学反例上能力的判断,尽管复数域完整有效性仍有讨论

原文

levent

@alpoge

2h

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

Jul 20, 2026 · 2:19 AM UTC

82

149

901

75,174

levent

@alpoge

2h

wolframalpha.com/input?i=Det… jacobian determinant in wolfram alpha

Det[D[{(1+x y)^3 z + y^2 (1 + x y) (4 + 3x y), y + 3x (1 + x y)^2 z + 3x y^2 (4 + 3x y), 2x - 3x^2...

Wolfram|Alpha brings expert-level knowledge and capabilities to the broadest possible range of people—spanning all professions and education levels.

wolframalpha.com

56

7,935

levent

@alpoge

1h

wolframalpha.com/input?i=%28… wolframalpha.com/input?i=%28… evaluating at two of those points in wolfram alpha

((1+x y)^3 z + y^2 (1 + x y) (4 + 3x y), y + 3x (1 + x y)^2 z + 3x y^2 (4 + 3x y), 2x - 3x^2 y -...

Wolfram|Alpha brings expert-level knowledge and capabilities to the broadest possible range of people—spanning all professions and education levels.

wolframalpha.com

41

6,496

Sort replies: Relevant Recent Liked

Anton

@citrinitae

8m

Replying to @alpoge

Thank you blessed math fairy

404

levent

@alpoge

3m

Listen!

228

Mckay Wrigley

@mckaywrigley

32m

Replying to @alpoge

🫪

2,501

levent

@alpoge

30m

My face when about to click post on this one..

2,250

internet poster@PosterInternet

2h

Replying to @alpoge

investing at 0 likes in case this is true

29

4,311

levent

@alpoge

1h

This is the most hilarious / horrifying problem because it is like the canonical crank graveyard. Ty 4 investment🙏

53

4,278

more replies

liz

@inerati

16m

Replying to @alpoge

@grok is this true

1,671

levent

@alpoge

15m

liz we both know @gork would know better

1,517

lil hardy@HL1729

1h

Replying to @alpoge

is this the same as in Yitang Zhang's thesis? math.purdue.edu/~ttm/Zthesis…

5,128

levent

@alpoge

1h

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

4,546

Jared Duker Lichtman

@jdlichtman

1m

Replying to @alpoge

this is the J-Space Anthropic should be talking about

Left Tail Guy@left_tail_guy

2m

Replying to @alpoge

is this a big deal? someone explain it to me like im dumb (i am)

Aidan Taha@adntaha_ai

33m

Replying to @alpoge

i was here, tf this is actually insane

826

Squeedallyboopbop@Squeedally99517

47m

Replying to @alpoge

What a time to be alive, open up twitter before bed to see the latest clips of soccer hooliganism, find a disproof of a century old conjecture that fits in a single tweet instead

1,378

Jared Duker Lichtman

@jdlichtman

1h

Replying to @alpoge

Congrats!! Insane stuff... Do you think there are other counterexamples? An infinite family? Might there be a suitably refined version of the conjecture that is true?

33

2,708

g@kettlepoppers

6m

Replying to @alpoge

Correct me if I’m wrong but isn’t this only a valid example over the reals? Unfortunately for the complex case we need the function F to be proper (essentially all points that rush off to infinity need to be evaluated at infinity).

218

Russell Acolyte@BRussellsimp

58m

Replying to @alpoge

Can you provide the full solution, thanks

2,056

Ryan Moffat

@RyanBMoffat

27m

Replying to @alpoge

the speed at which certain parts of Wikipedia get updated never fails to be funny

29

1,539

eutatic@eutatic

7m

Replying to @alpoge

holy chet mane

143

michi@ichrenndochnur

16m

Replying to @alpoge

damn bro thats crazy

342

Xyra

@XyraSinclair

15m

Replying to @alpoge

investing early

276

Andrew@andrew_v10209

1h

Replying to @alpoge

lmao

47

5,828

Mark Polyakov@markasoftware_

46m

Replying to @alpoge

gemini 3.1 pro says it's true so it must be. Also love the GLM-5.2 thinking trace. Do you need special tricks to convince models to work on a problem it knows is open?

1,974

Tilman Bayer@tilmanbayer

1h

Replying to @alpoge

@threadreaderapp unroll please

1,678

Kal

@andromeda74356

2m

Replying to @alpoge

what was the prompt? this is crazy

24

Liam Corrigan

@lmcorrigan1

7m

Replying to @alpoge

Congratulations!

102

adithya

@adithya_balaji

1h

Replying to @alpoge

congrats

1,963

agusti

@bleuonbase

18m

Replying to @alpoge

is this going on the bio or nah

350

Thelonious Oditamo@originaldint

1h

Replying to @alpoge

artificial super counterexample finder confirmed my goodness

2,008

Jiquan Ngiam

@JiquanNgiam

19m

Replying to @alpoge

Impressive

348

Tilman Bayer@tilmanbayer

45m

Replying to @alpoge

🤯 Context: en.wikipedia.org/wiki/Jacobi…

1,148

piaoyang@pycui64

59m

Replying to @alpoge

ok this is something that I have heard of and understood actually. Holy shit. Here before this blows up and goes down in history

1,133

Ibrahim Dagher

@IbrahimDagher20

1h

Replying to @alpoge

this is crazy. would love to know if this is fable 5.1 …

1,625

Load more

Hacker News · 119 赞 · 47 评 讨论 → 阅读原文 →

这条对你有帮助吗?