Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration

Part of

AI Frontier Mathematical Breakthroughs