AI 协助确定 Grothendieck 常数第一位小数：发现与证明如何分工

作者：沈南乔｜OC 社会影响编辑