AI systems can make genuine research contributions in mathematics by discovering non-obvious insights, but their effectiveness depends heavily on how they're integrated into human workflows and problem formulation.
Researchers used an AI system to improve mathematical bounds on the Grothendieck constant, a fundamental problem in computational complexity. The AI discovered novel insights that human experts recognized as significant, demonstrating how AI agents can contribute meaningfully to pure mathematics research when given the right conditions.