> The big problem here is that counting proofs is how mathematicians historically have created legitimacy for the universities they work for
This is a really interesting point. This is almost analogous to a metric in software engineering like lines of code which is a proxy for something we actually want to measure.
In a way, the SOTA model providers are cargo culting what appears to be what mathematics is.
This is a really interesting point. This is almost analogous to a metric in software engineering like lines of code which is a proxy for something we actually want to measure.
In a way, the SOTA model providers are cargo culting what appears to be what mathematics is.