"Learning to Discover Interesting Mathematics" We define intrinsic interestingness of a theorem as the ratio between the…

"Learning to Discover Interesting Mathematics" We define intrinsic interestingness of a theorem as the ratio between the length of its proof and the length of its statement. They then trained a 27B model to predict proof difficulty and used it to grow a self-expanding library of interesting results. It's a crisp attempt at the question AI math will soon face: which of the millions of provable stat…