I’m seeing this perspective expressed a lot lately, but (so far) only online.
Understand that there’s more than one way to prove something, that there’s an art to making something understandable, and that humans tend to take the most understandable paths (to humans.)
Models often don’t do that. But in solving, or claiming to solve, important problems, they nevertheless remove a lot of the excitement and incentive towards working towards a solution humans would naturally find. Plus, a lot of these problems really don’t have any critical applications at the moment. They’re done for the love of the game.
Does that bother you? That your tax dollars pay people who do math out of curiosity?
Understand that there’s more than one way to prove something, that there’s an art to making something understandable, and that humans tend to take the most understandable paths (to humans.)
Models often don’t do that. But in solving, or claiming to solve, important problems, they nevertheless remove a lot of the excitement and incentive towards working towards a solution humans would naturally find. Plus, a lot of these problems really don’t have any critical applications at the moment. They’re done for the love of the game.
Does that bother you? That your tax dollars pay people who do math out of curiosity?