News for hackers. Stuff that matters.
Re:“Math 2.0” will need to value mathematical progress more ... by i_cannot_hack on Thursday October 08, 2026 @05:12AM (#50003561)
They claim each result used three hours of compute on average. Even spending significantly more on simplifying and reworking would delay the release with a single day at most. If avoiding such a minor delay took precedence over (2), I think "indifference" is the correct term. It has also been a while since the release now, so there is ample opportunity to post follow ups if time pressure was the only concern.
Re:“Math 2.0” will need to value mathematical progress more ... by lern_too_spel on Thursday October 08, 2026 @05:25AM (#50003654)
Why do that when they can spend more hours extending QRH to a proof of the full Riemann Hypothesis? The opportunity cost of digging up small potatoes is the whole enchilada.