News for hackers. Stuff that matters.
Re:“Math 2.0” will need to value mathematical progress more ... by sanderjd on Thursday October 08, 2026 @10:09AM (#50006010)
I think this is an interesting and good theory. They've probably eked out the large majority of the PR benefit at this point, so whether they continue in this vein will tell us a lot about their motivations for this work.

To take this to the next step, what happened after deep mind pretty much solved Go is that they started looking for the next set of things that hadn't been done yet. It does strike me as very likely that this will follow that same path.

Re:“Math 2.0” will need to value mathematical progress more ... by pfdietz on Thursday October 08, 2026 @11:13AM (#50006810)
I'm told there are another two large tranches of results to be dumped.
Re:“Math 2.0” will need to value mathematical progress more ... by sanderjd on Thursday October 08, 2026 @01:39PM (#50009059)
Yeah I'll be curious to see if or when they stop seeing the utility in this!
Re:“Math 2.0” will need to value mathematical progress more ... by pfdietz on Thursday October 08, 2026 @02:09PM (#50009592)
If working on these is causing improvement in general reasoning (beyond math) then I expect they'll keep doing it.
Re:“Math 2.0” will need to value mathematical progress more ... by sanderjd on Thursday October 08, 2026 @04:35PM (#50011833)
Yes, I think this is the question.