Scaling Inference-Time Reasoning Will Enable Fully-Autonomous Mathematics Researchers

A fully-autonomous mathematics researcher must do two things. It must solve open mathematics problems. And it must pose interesting mathematics problems within its reach to solve. I will argue that reasoning will scale…