News for hackers. Stuff that matters.

A comment on “Math 2.0” will need to value mathematical progress more holistically. Parent comment

Re:“Math 2.0” will need to value mathematical progress more ... by simonh on Thursday October 08, 2026 @06:54AM (#50004282)
They aren't trying to 'solve' chess, go, or mathematical proofs as an end in themselves, but mainly in order to learn more about how to build better systems overall. The goal of AlphaZero was ultimately as a stepping stone towards AGI, and it's the same with LLMs.
[ Parent | on HN ]
Re:“Math 2.0” will need to value mathematical progress more ... by catlifeonmars on Thursday October 08, 2026 @07:32AM (#50004560)
The assumption being that 1. these things are all stepping stones, not diversions 2. that ai labs have a singular goal of producing agi
[ Parent | on HN ]
Re:“Math 2.0” will need to value mathematical progress more ... by simonh on Thursday October 08, 2026 @10:57AM (#50006594)
It's not an assumption, many of the people behind these projects explicitly say this what they are doing and why.
[ Parent | on HN ]
Re:“Math 2.0” will need to value mathematical progress more ... by catlifeonmars on Saturday October 10, 2026 @02:01PM (#50035439)
That’s still an assumption. Since when do you uncritically believe what people are saying without taking into account the different external drivers on those people.

You can believe they believe they are telling the truth or that they have good intentions while still being skeptical of the effective trajectory.

[ Parent | on HN ]