logoalt Hacker News

rowbinyesterday at 4:14 AM2 repliesview on HN

Maybe, maybe not. The "proofs" may not have helped at all with finding a counterexample. Either way, it doesn't matter. A counterexample was found, no one found one before even though clearly a lot of people have tried who also had access to the prior "proofs".


Replies

cornholioyesterday at 8:22 AM

I think it's becoming harder and harder to argue that LLMs don't really reason and just mimicry human speech. This counterexample is clearly the result of a sequence of steps that build on previous knowledge in context and logically combine it to reach other true statements - to a degree and complexity that rivals the best human minds.

For someone that use Claude Code every day, this is obvious, but for some reason many scientists refuse to accept that it's truly reasoning; perhaps not in the human sense, but in a very profound and real sense. These powerful results are devastating to their point of view.

I can sympathize, because I too called LLMs "fancy Markov chains" in the GPT 3 era. But there comes a time where you have to update your world view to match reality, or be stranded in fantasy land.

show 2 replies
ignoramousyesterday at 4:47 AM

This makes me wonder, what if anyone uses Fable-class LLM and passes of its novel results as their own work?

There's no shortage of folks doing that in software, right now.

show 2 replies