for some background,
1) the jacobian conjecture is by far the most famous open problem resolved by an LLM so far
2) it's also infamous for attracting wrong proofs so this is quite funny in a specific way. a comment from a 2008 paper by t.t. moh debunking such a proof:
> The
时政
(
twitter.com
)
for some background,
1) the jacobian conjecture is by far the most famous open problem resolved by an LLM so far
2) it's also infamous for attracting wrong proofs so this is quite funny in a specific way. a comment from a 2008 paper by t.t. moh debunking such a proof:
> The problem of Jacobian Conjecture is very hard. Perhaps it will take human being another 100 years to solve it. Your attempt is noble, Maybe the Gods of Olympus will smile on you one day. Do not be too disappointed. B. Sagre has the honor of publishing three wrong proofs and C. Chevalley mistakes a wrong proof for a correct one in the 1950’s in his Math Review comments, and I.R. Shafarevich uses Jacobian Conjecture (to him it is a theorem) as a fact. You are in a good company. One only remembers the correct statements from Scientists and Mathematicians, nobody remembers the wrong ones.
(segre, chevalley, and shafarevich are all very serious and respected mathematicians, none of these guys are cranks)
https://t.co/MivXfSibYT
3) some thoughts from fable on what to take away from this; fable thinks the main update is that raw length of time a problem has been open is not as strong evidence of its actual difficulty as it might have previously seemed
点击图片查看原图
点击图片查看原图
