"Any idiot could have done this, it's just high school calculus and just a counterexample anyway. Stochastic parrot, spicy autocomplete, AI psychosis. Wake me up when an AI does something real."
Claude Fable produced a counterexample to the Jacobian Conjecture
11–20 of 562 posts
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#12"Any idiot could have done this, it's just high school calculus and just a counterexample anyway. Stochastic parrot, spicy autocomplete, AI psychosis. Wake me up when an AI does something real."
The goal posts have moved. People generally stopped saying this stuff now.
Even if you go to the ultimate anti-AI subreddit r/betteroffline, they've changed from "AI is useless" to "AI is good but the AI bubble will collapse soon" over the last 6 months.
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#13the conjecture held for 85 years and the counterexample was announced in a format that expires after seven days
The surprising thing is that the counterexample seems relatively "simple" in that it's low degree, with coefficients that aren't too large.
Does anyone more familiar with this know why this _wasn't_ found earlier, when it seems like you could brute-force through some low-order polynomials?
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#14"Any idiot could have done this, it's just high school calculus and just a counterexample anyway. Stochastic parrot, spicy autocomplete, AI psychosis. Wake me up when an AI does something real."
The goal posts have moved. People generally stopped saying this stuff now. Even if you go to the ultimate anti-AI subreddit r/betteroffline, they've changed from "AI is useless" to "AI is good but the AI bubble will collapse soon" over the last 6 months.
People have definitely not stopped saying this stuff.
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#15he just...he tweeted it out
The "thanx" is one for the ages.
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#16Earlier quoted context omitted.
The goal posts have moved. People generally stopped saying this stuff now. Even if you go to the ultimate anti-AI subreddit r/betteroffline, they've changed from "AI is useless" to "AI is good but the AI bubble will collapse soon" over the last 6 months.
People have definitely not stopped saying this stuff.
I said "generally". It's declined sharply over the last few months.
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#17I suspect the LLM was able to synthesize a counterexample because of the availability of a lot of prior work:
> The Jacobian conjecture is notorious for the large number of published and unpublished proofs that turned out to contain subtle errors.
https://en.wikipedia.org/wiki/Jacobian_conjecture#cite_note-...
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#18[deleted]
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#19"Any idiot could have done this, it's just high school calculus and just a counterexample anyway. Stochastic parrot, spicy autocomplete, AI psychosis. Wake me up when an AI does something real."
The goal posts have moved. People generally stopped saying this stuff now. Even if you go to the ultimate anti-AI subreddit r/betteroffline, they've changed from "AI is useless" to "AI is good but the AI bubble will collapse soon" over the last 6 months.
Some quotes from a day ago, https://news.ycombinator.com/item?id=48957779:
> I hold my stance that LLMs are stochastic parrots... Making the parrots ever more complex and training
> Except solving problem is probably the least (even though it's important) interesting thing in research.
> Can we use AI to get a cure for cancer yet? Or is math-turbation the only thing these things are good for?
> Train on enough examples and statistical autocomplete gets you places. I'm surprised how anyone would even consider this intelligence?
And, as much as HN has declined in the grips of an anti-AI psychosis, Reddit is worse. I would love if social fora would switch to the reasonable claim that we're in a bubble; that's something that can be debated. That's not the dominant critique of AI, though.
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#20I suspect the LLM was able to synthesize a counterexample because of the availability of a lot of prior work: > The Jacobian conjecture is notorious for the large number of published and unpublished proofs that turned out to contain subtle errors. https://en.wikipedia.org/wiki/Jacobian_conjecture#cite_note-...
How does that work in this case? What do those proofs do to help find this counterexample?