許地生團隊人機協同證明三維Ghys猜想

猜想背景

Ghys猜想由法國數學家艾蒂安·吉斯（Étienne Ghys）於1995年提出，猜測每一個緊緻複流形上的全純Anosov系統，都雙全純共軛於某個複infra-冪零流形上的全純仿射自同構。該問題兼具理論難度與學科標誌性價值。

人機協同證明

大灣區大學許地生團隊借助中國科學多模態大模型，通過人機協同的方式完成三維Ghys猜想的證明。這是全球首次利用中國自研的多模態大模型，以人機協同形式證明世界級數學難題，具有標誌意義。

形式化驗證

北京大學董彬教授與劉若川院士團隊利用其開發的SHEAF形式化驗證框架，對該證明進行嚴格檢驗，確認了這項工作的正確性，為人機協同產出的數學證明提供了可靠的可信度依據。

意義與展望

這項成果標誌着中國科學家首次依託國產大模型攻克世界級數學難題，顯示大模型在基礎科學研究中的協同潛力，也為人工智能輔助數學研究提供了新的實踐案例與參照。