Comment by Daniel Clayton on Making Beliefs Pay Rent (in Anticipated Experiences) · 2021-03-18T08:05:53.952Z · LW · GW

Is this to say that one of the purposes of mathematics is to prove something new, even without knowing what it might be used for, with the awareness that it might be useful at a later point? Or that it might form part of a proof for something else that is also currently unknown?