News for hackers. Stuff that matters.
Re:Why the Legendary Erdős Problems Are Falling to AI by HarHarVeryFunny on Wednesday August 05, 2026 @12:35PM (#49185222)
You could regard existing mathematical techniques as a set of Lego pieces. If you build a proof just using those pre-existing Lego pieces then it may be a new proof (a new Lego model), but it's not a new Lego piece - a new piece of mathematical machinery.
Re:Why the Legendary Erdős Problems Are Falling to AI by stouset on Wednesday August 05, 2026 @10:59PM (#49191874)
To be fair, very few proofs involve the creation of new machinery wholesale.