News for hackers. Stuff that matters.
Re:Formalizing Fermat's Last Theorem by johnsmith1840 on Friday September 04, 2026 @06:31PM (#49570993)
A literal rock we carved patterns on and shot lightning into has accomplished something no human has.

How much more magical do you want this to be?

Tool or not it did something you could never have accomplished.

Re:Formalizing Fermat's Last Theorem by mikmoila on Friday September 04, 2026 @06:54PM (#49571148)
"you could never have accomplished"; I am not able to follow the logic here - there is no "magic" in LLMs, they're built by humans and we know what they do.
Re:Formalizing Fermat's Last Theorem by johnsmith1840 on Friday September 04, 2026 @07:27PM (#49571377)
Sure? I mean the internet is just a bunch of wires and some networking code not magic but at the same completely life alteringly magical.

My logic is that you personally could never have accomplished this feat with all the non LLM tools and content in the world. These kinds of things imply these methods are stepping beyond human ability.

Sure we put walls around it and optimize but the interior of that optimization is not something we understand.

You now have access to a system that for a price could solve something you simply are unable to solve. Not something we programmed it to solve, something that has never been solved before.

Nobody gave it an example of this proof, that's magical.

Re:Formalizing Fermat's Last Theorem by Philpax on Friday September 04, 2026 @06:58PM (#49571180)
We don't know what they do. We shape them, but our understanding of how they get to their result is comparatively minimal.
Re:Formalizing Fermat's Last Theorem by mikmoila on Friday September 04, 2026 @07:02PM (#49571203)
I think you're referring to the fact that the sheer amount of computations is something too time consuming for us to follow? But still it is not "magical" - in theory we could follow all the steps, there's no hidden information.
Re:Formalizing Fermat's Last Theorem by Philpax on Friday September 04, 2026 @07:08PM (#49571252)
No, I mean we just don't know what's going on in the circuits of the model at any substantial level. We set their architecture (hyperparameters), we pump them full of data (pretraining), and we shape how they behave through examples (SFT) and reward (RL), but we can't say with any certainty what the resulting model does internally.

You can scroll through https://transformer-circuits.pub/ to see the ~extent of our current understanding.

Re:Formalizing Fermat's Last Theorem by mikmoila on Friday September 04, 2026 @07:17PM (#49571317)
Yes "at any substancial level" . But still, its all about deterministic processes and still it obeys the law that the same input gives the same output. Or do you mean that the fluctuations like computing environment might ruin the determinism?
Re:Formalizing Fermat's Last Theorem by johnsmith1840 on Friday September 04, 2026 @07:47PM (#49571513)
100% not deterministic at the scale they run.