News for hackers. Stuff that matters.

A comment on Verification Is Not Knowledge: Science needs more than answers. Parent comment

Re:Verification Is Not Knowledge: Science needs more than an... by threatofrain on Wednesday November 04, 2026 @11:25AM (#50367906)
Many high stakes problems are blocked by a specific insight, and once known, the people who are highly invested in those problems won't put sufficient care into whether we've built a supporting framework of ergonomic theory for humans.

That's not to say there isn't value in building mathematical insight for humans, just that there is a goldmine and a lot of people know what to do with gold, even if they don't understand the pickaxe.

[ Parent | on HN ]
Re:Verification Is Not Knowledge: Science needs more than an... by funcDropShadow on Thursday November 05, 2026 @10:42AM (#50380520)
True, but shortsighted. If we continue to pile proofs and new theorems on top of each other without taking care of making those new abstractions understandable, then we will limit our reach. Even though AI might be able to progress further.
[ Parent | on HN ]