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 rtkwe on Thursday October 08, 2026 @09:39AM (#50005686)
The other gap in AI is it doesn't explain or lay out how it got to the final proof which is often more fruitful for new techniques etc than the final proof by itself.
[ Parent | on HN ]
Re:“Math 2.0” will need to value mathematical progress more ... by defmacr0 on Thursday October 08, 2026 @10:54AM (#50006549)
Honestly, that's a weakness shared by a lot of human-generated science as well.
[ Parent | on HN ]
Re:“Math 2.0” will need to value mathematical progress more ... by rtkwe on Thursday October 08, 2026 @11:51AM (#50007351)
In mathematics it's usually a large portion of the paper because they know it's the interesting and useful part of the discovery. Often they come up with new tools and techniques and those often unlock further discoveries.
[ Parent | on HN ]