But incentives in mathematics aren’t structured around that being the case, perhaps because elegance of proofs is harder for institutions to measure.
I don’t think this is true in a strong form (although it’s arguably not “as important”). If you found a proof of the 4-color theorem that doesn’t rely on an exhaustive machine search, that would be a quite noteworthy achievement.
I don’t think this is true in a strong form (although it’s arguably not “as important”). If you found a proof of the 4-color theorem that doesn’t rely on an exhaustive machine search, that would be a quite noteworthy achievement.