Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
DGX agentarXiv:2608.11195v1 Announce Type: new Abstract: AI agents are increasingly used in mathematics research, but it is often unclear how to use them effectively. Towards this, we present an extensive case