Stitching together apis to create business value is accomplishing the basic function of any company or startup. Masturbating over math proofs by themselves don’t keep bread on the table. Just a thought before dismissing the work of others for being “less rigorous”. Though obviously the best is a combination of both.