AI Disproves Jacobian Conjecture (87 year old math problem)
(www.youtube.com)
You're viewing a single comment thread. View all comments, or full comment thread.
Comments (16)
sorted by:
I'll believe it when it's confirmed by actual mathematics specialists.
There was massive AI fraud recently by a student at MIT, who claimed all sorts of patents that never existed, and then created a fake website in a company's name.
You will get fraud like this when valuations of up to 1 trillion are at stake.
All it has to do is find a single example where the conjecture is false.
Sure, but if it's that easy, why wouldn't humans and simple computer programming not have found it?
Finding the counter example is difficult, verifying it is easy.
You can't brute force a counter example because the problem space of "all polynomial functions" is too large. A simple program isn't enough. You need to be clever.
But if it's difficult, why should we assume that the vaunted Mythos did it? I mean, I'm not even saying that it's impossible, only that we should take a wait and see approach than a hype train.
You can infact brute force the problem space to find a counter example, it's called getting lucky. You cannot search the entire space to prove there are no counter-examples.
Because there are nearly infinite possibilities? It could be just a matter of trying a ton of stuff and eventually finding the needle in the haystack.
Disclaimer: I am not at all familiar with this particular proof, just proofs in general.
I'm not really seeing the advantage of AI there. If I wanted to generate a ton of possibilities, I'd write a script - not tell the most expensive AI to do it.
Disclaimer: I'm a total mathematical illiterate.
Tell me you've never written code without telling me you've never written code.
And, quite possibly, add "done math" to that statement as well.
Everything is obvious once it's already been found.
It's a mathematical claim. It's not something you can confidence game, it's verifiable.
Sure. I'd still rather hear from specialists than from random Twitter users saying OMG DID YOU HEAR WHAT AI DID TODAY?
I know I'm very obnoxious, and I apologize, but I find the AI hype very obnoxious too.
All you have to do is find a function that does not have an inverse, and has a non-zero Det(). The way used by the paper was to find a function which was not one-to-one, while haveing a constant determinant.
Pretty much any math or physics undergrad should be able to work the counter example by the end of their second year.