[dead]
Claude Fable produced a counterexample to the Jacobian Conjecture
491–500 of 562 posts
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#492Earlier quoted context omitted.
I've seen plenty videos of locals being violently removed from town halls due to displaying of anti AI sentiment. I wouldnt consider it fair to use these examples to tar the entirety of the pro AI camp. the way objectivity and subjectivity are intertwined in your comment is spectacular, ever considered a career in propaganda?
Do you have links to these videos? You comment suggests you feel there is something wrong with what I said, could you elaborate?
They are probably talking about data centres and town hall meetings where people are objecting and being removed.
Even a casual search you will find numerous videos.
The only issue I see with your comment (and this thread stems off the misreading of my post), is that despite your "I see the difference" it is still labelling one side.
In truth, there are crazy people everywhere.
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#493Earlier quoted context omitted.
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?
What you're asking for is exactly the sort of thing that belongs in, and will appear in, a journal article. There will likely be a preprint on arxiv, so you might keep an eye out for that. In any case, the fact that it was found by a commercial model means that the unfiltered reasoning trace isn't available even to the original author. So there are aspects of the problem-solving process we'll never see. Even if we di…
The original author works for Anthropic. And even without that, Anthropic might find this important enough to dig up the trace?
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#494Earlier quoted context omitted.
Because only people who work for Anthropic use AI tools? What is the reasoning here? The guy is a mathematician, after all.
You have it backwards. Only people not working for Anthropic do not use AI tools.
Yes.
Though not everyone who works in the sausage factory still wants to eat sausages.
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#495Earlier quoted context omitted.
Can you please share the chat log for this? I would absolutely love to see this.
It's easy to reproduce, I've fed the example in GPT-5.6 Sol Max and it started multi-checking it in all kinds of ways, with multiple symbolic packages then manual computation, then it did extensive literature search on the subject, looked at tens of math websites, extensive arxiv research. this was soon after it was posted, it didn't find the original twits with the finding
It was easy to reproduce. It's no longer so, because the web search part of what you described is 'poisoned' now. Partially by this very discussion we are having here.
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#496Earlier quoted context omitted.
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.
I don't think it is nonsensical at all. The author and his collaborator both appear to be bright people, so there's a good chance they had to offer non-trivial insights to guide the LLM, yet it's clearly in the interest of his employer to downplay whatever personal contribution they provided. Edit: Now the OP is flagged/dead for some reason. You could disagree on their take (calling it a marketing stunt is maybe a bi…
That's HN. No criticism allowed of llm whatsoever
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#497Earlier quoted context omitted.
I've heard about mathematicians going through kind of the same thing when they get a weird proof that ends up being right from some weird source or themselves. Which is fair, they get inundated with kooky proofs from amateurs all the time and odds are incredibly good that there's some major fatal flaw that the amateur doesn't see. Or in the case of themselves, there's a certain blindness that makes it a little more d…
> they get inundated with kooky proofs from amateurs Source?
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#498The great thing about these mathematical mopping up type operations is that no person will waste their time trying to prove it to be true anymore. If anything that’s a win. It would be great if an LLM could settle the Collatz conjecture next, god knows how many man-years have been burned on that by unsuspecting victims.
I used to be a young mathematician sometime at the turn of the century... "waste their time trying to prove it" is the MBA approach, where you should spit out results and articles. Outside the MBA-thinking box, attacking hard problems, even unsuccessfully, is the way to gain deeper insight into various results and tools that you can later apply to other problems, i.e. no waste of time at all, unless you go to the ext…
We won't be running out of hard problems to attack anytime soon, even if we produce a bunch of counterexamples to some of them.
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#499Earlier quoted context omitted.
Proof that an LLM did it and that this is not yet again another marketing stunt. Remember when Anthropic wouldn't release Fable because it would be "the end of cyber security as we know it"? Yet here we are
Explain how the marketing stunt would work here? Tell me a story about how OpenAI spends money to pull off a similar problem by solving one of Smale's other unsolved problems. 80 years of mathematicians were unable to disprove the Jacobian Conjecture. Is the marketing stunt that Anthropic has secretly built a world-class mathematics research group?
I mean, they kind of have, but mostly by finding an infinite money glitch.
Re: Claude Fable produced a counterexample to the Jacobian Conjecture
#500Earlier quoted context omitted.
That is not dumb - erasing copyrights is just their business, and even when caught has zero consequences (for them). Providers can use any users input for improving their models, either by consent, or by flagging any dialogue for safety review (nonconsensually), or by training on whatever content they want anyways (obtained via torrents from pirate sites with U.S. court approval). On top of that, I retried the same q…
Why stop at Gemini then. They could also scan everything passing through Gmail for emails with math/science breakthroughs and then claim Gemini found them.
"There is another theory which states that this has already happened."