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 auggierose on Thursday October 08, 2026 @03:48AM (#50002969)
A correct solution verified in Lean will count in perpetuum. It is fine if you want more, but an achievement is an achievement, even if it is by AI.
[ Parent | on HN ]
Re:“Math 2.0” will need to value mathematical progress more ... by oliculipolicula on Thursday October 08, 2026 @06:16AM (#50004015)
Hmmmm. It feels right that discovery is much more meaningful than achievement. "Bullshit lean proof" or "bullshit achievement" smells like it. "bullshit discovery" smells like a front-handed insult
[ Parent | on HN ]