丘成桐新论文致谢GPT 6 Astra和Claude Pro

丘成桐参与的最新论文在致谢中感谢GPT 6 Astra和Claude Pro在部分证明策略探索和计算中提供的帮助，论文处理的是七维空间27种怪球能否配上截面曲率严格为正度量这一悬置约70年的问题。