> with more brute force and using obscure literature results,

Is that true? Look at the average math paper on arxiv. Of course it's obscure to those not in the exact sub-field - math has become very specialized.