丘成桐新论文致谢GPT 6 Astra和Claude Pro，称AI辅助探索证明思路

丘成桐参与的最新论文在致谢中感谢GPT 6 Astra和Claude Pro，称它们在部分证明策略的探索和计算中提供了帮助，论文同时声明人工验证和写作责任由作者承担。