A new metric for 'interesting' math theorems cuts overlap with Mathlib from 91.9% to 30.6%

A new metric for 'interesting' math theorems cuts overlap with Mathlib from 91.9% to 30.6% Researchers define a theorem's intrinsic interestingness as the ratio of its proof length to its statement length, then use a 27B model built on that metric to generate genuinely novel theorems instead of…