Link to the "Advancing Mathematics Research with AI-Driven Formal Proof Search" paper that the article references: https://arxiv.org/html/2605.22763v1