丘成桐新論文致謝 ChatGPT 6 Astra 與 Claude Pro，AI 輔助解決懸宕 70 年的七維「怪球」正曲率難題

據報導，數學家丘成桐參與的最新論文解決了懸宕 70 年的七維空間「怪球」（exotic sphere）正曲率問題，並在致謝中表明 ChatGPT 6 Astra 與 Claude Pro 協助了部分證明策略的探索與計算。該論文證明七維空間中的 28 種球面（包含 1 種標準球面與 27 種怪球），每種都能配上截面曲率嚴格為正的度量，補上了從「非負曲率」到「正曲率」的最後一步。研究團隊採用「雙圓盤模型」，將問題轉換至十維空間構造度量後再投影回七維，並附帶一套用 SageMath 編寫的程式碼，以電腦驗證大量曲率不等式的精確估計與參數選取。此問題於 1956 年被發現，丘成桐曾於 1982 年將其列入個人問題清單第二位；他過去曾認為 AI 不可能對頂尖數學家產生影響，現已親自使用並鼓勵學生學習 AI 工具，但仍強調 AI 無法替代人類的原創思考。