News for hackers. Stuff that matters.
Re:“Math 2.0” will need to value mathematical progress more ... by __MatrixMan__ on Thursday October 08, 2026 @01:36PM (#50009034)
Agreed. So to return to the root comment... if AI can generate for us all of those "wrong" models in a consistent way, then the job that remains for humans is to decide which one or ones would be useful. I bet it turns out to be a lot more work than it sounds like.
Re:“Math 2.0” will need to value mathematical progress more ... by kurthr on Saturday October 10, 2026 @12:42PM (#50034609)
It's interesting that it seems to be back to the future, where picking the right problem to solve and evaluating the taste of the solution are still paramount, unless I suppose you either can afford massive amounts of compute to find the correct optimum by chance, or you know the solution space is so vast you'll never find it, and are fine with having some agent slop it's way through each time you want a change.