News for hackers. Stuff that matters.
Re:Why the Legendary Erdős Problems Are Falling to AI by glitchc on Wednesday August 05, 2026 @11:20AM (#49184192)
My perception is different. I start from the axiom that AI is a massive compressed corpus of knowledge. That it can find solutions suggests to me that the solutions were already known, but simply lacked publicity. This is less about discovery and more about pattern-matching.
Re:Why the Legendary Erdős Problems Are Falling to AI by kaashif on Wednesday August 05, 2026 @11:25AM (#49184256)
Why does being a compressed corpus of knowledge mean it can't discover things? What if it has knowledge of techniques to discover proofs?

It does and that's what's happening.

Re:Why the Legendary Erdős Problems Are Falling to AI by insanitybit on Wednesday August 05, 2026 @12:25PM (#49185057)
That axiom is clearly false. AI can interact with external systems, which means it is not just compressed knowledge - it has the ability to access new information.
Re:Why the Legendary Erdős Problems Are Falling to AI by anthk on Wednesday August 05, 2026 @04:26PM (#49188527)
Pattern matching and replacing can be Turing Complete, from sed to rewriting languages.

So it's just a matter of combinatorics.

https://wiki.xxiivv.com/site/rewriting.html