This paper is outlining a method for the academic equivalent of hydraulic mining without much thought for the downstream effects
arxiv.org/abs/2608.16977
arxiv.org
The Problem Is the Problem: Towards Scalable Mathematical Discovery
AI systems are increasingly capable of contributing to mathematical research. In research practice, frontier-model reasoning is a limited resource, and expert mathematical review is even more sharply ...