TY  - RPRT
TI  - Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
AU  - Alan Li
AU  - Rahul Saha
AU  - Anton Xue
AU  - Swarat Chaudhuri
AU  - Adam Klivans
AU  - Pravesh K Kothari
AU  - Raghu Meka
PY  - 2026
UR  - https://arxiv.org/abs/2608.11195
ID  - 2608.11195
ER  -