Comment by koito17
2 months ago
A little over 10 years ago I remember meeting a postdoc who believed he had something close to a counterexample to the Jacobian Conjecture. He and another person was bruteforcing polynomials in about 16 variables, something like 80 - 700 terms each, using binary trees for mapping coefficients.
They were guessing, at the time, that the lower bound of a counterexample (P, Q) for max(deg(P), deg(Q)) would go up to 200.
To think that Claude Fable was able to find a counterexample in degree 7 is insane to me. We are truly in a new era.
you might be confusing 2 variable case (which indeed was tested to 150+ degree) and 3 variable case (this counterexample)
Would this counterexample not be included in their search space?
They were looking at 16 variables, degree of about 10 in each one. That search space is simply too big for a plain bruteforce. So they did some sort of filtering to reduce the search space to a pool containing "possible counterexamples".
There was also a paper giving a lower bound of about 100 for possible counterexamples in that particular framework. Later raised to 108 in https://arxiv.org/abs/2204.14178
I don't remember the details very well since this was back in 2015 and wasn't really involved in the research. Consider this to be some sort of telephone game between what I heard in 2015 and what I remember today.
based on the approach described they were probably in dimension 2, this counterexample is 3 dimensional
[flagged]
So many mathematicians over the years tried hard and failed, but now Anthropic just for some PR magically did it? And this after LLMs obtaining different math wins? What is your logic here really escapes my understanding.
The parent's absolutely nonsensical post highlights how polarized AI (as everything else) is today. I can understand someone being opposed to AI on moral, cost-benefit or productivity grounds. But we're seeing a lot of extremist "AI is good for nothing" posts out there nowadays.
8 replies →
Those silly advertisers do everything for exposure and if that means digging yourself into a niche alleged mathematical theorem to refute it, it is what needs to be done!
Of course it would be really interesting how Claude approached this. Probably with some constraints regarding the input. And it would be interesting what these constraints were.
2 replies →
I mean we have no idea what happened exactly, how Fable was used, how many times it was run, whether earlier models were also tried, what was the prompt, how long it run for, etc etc. All we have to go by is a tweet.
Why not be skeptical about that?
8 replies →
They gave their "logic", such as it is ... and it's utterly irrational.
Note that the "they" who published the counterexample on X is some rando mathematician (Levent Alpöge) working for Anthropic, not Anthropic the organization. He posted the counterexample in a tweet -- reason enough for "not disclosing the LLM chat session". There's no reason to think that it won't provided if asked for, but it hardly seems relevant.
24 replies →
[flagged]
5 replies →
There's a big difference between one shotting a counterexample using AI and using AI to find a counter-example by brute-force.
Both are impressive, of course, but they're hardly comparable.
24 replies →
if you ask the chatbots for "list of top unsolved math problems", the JC comes in at a ranking of around #10 - #20. what, a problem that's been unsolved since 1939 was cracked because anthropic has an underground sweatshop of math Phds cranking out research, just so that they can slap "made by AI" on it? hell, maybe lizard people did it.
This anti-AI sentiment is getting borderline insane.
1. There is no such thing as "Artificial Intelligence" (but yes, machine learning and LLMs are real and powerful things)
2. Calling LLMs 'AI' is part of the grifting hype that has been wildly prevalent in the US corporate space. It's very natural and also very good that there is now backlash to and scepticism around all of the hype that is has been generated over the last 5 or so years
Finding a counterexample that humans have failed to find for 85 years is a marketing stunt?
[flagged]
If we don't ask for proof when someone claims something, the next few years are going to be rough for everyone. We can't trust anything nowadays
6 replies →
Why?
2 replies →