News for hackers. Stuff that matters.
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.
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.