Hacker News
points by threatofrain 3 days ago | 0 comments
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 ecosystem surrounding the gold.

[–] funcDropShadow 3 days ago
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.
Hacker News