You can import a theorem that another paper proves without having to understand the mechanics of the proof itself.
if your goal in life is proving theorems, then sure, but we don't fund mathematics to check if each conceivable theorem is true/false.
alt Hacker News
if your goal in life is proving theorems, then sure, but we don't fund mathematics to check if each conceivable theorem is true/false.