alt Hacker NewsI'd rather wait for independent seasoned mathematicians to verify such claims first before someone at said AI lab posting a claim about solving a proof online.
Let this be a lesson to those who fell for such AI psychosis and to not believe everything you see on the internet as real.
Replies
It's a Princeton math PhD who posted. The verification is quite straightforward and was posted by the tweet author. Wolfram would have to also be producing incorrect outputs for the counterexample to be false. The counterexample works as claimed and conjecture has been proven wrong.
Maybe have a seasoned mathematician check if the counterexample is really bogus before saying people fell for ai psychosis.
This topic really is a testament to people's willingness to opine on things they have absolutely no clue about.
A first year undergraduate can completely check this counterexample in ten minutes. The original post even linked Wolfram alpha for the calculations.
And if you genuinely try you can very quickly understand using only high school math and a bit of Wikipedia that this counterexample is vanishingly unlikely to be wrong, even if you don't do the calculations yourself.
Looks like this has already been formalized: https://github.com/deancureton/jacobian
It's a counterexample, not a proof. A schoolchild can confirm it.
It's a Jacobian determinant and three points. You can check this yourself in Sage.
The author is a Princeton math doctorate.