IXThinker·2026-10-20 12:30國產大模型聯手數學家攻克Ghys猜想
困擾數學界三十多年的Ghys猜想迎來突破。大灣區大學許地生團隊聯合上海人工智能實驗室，借助書生-S2科學基礎模型證明該猜想於復餘維一情形成立，北京大學團隊其後完成形式化驗證。
猜想背景
Ghys猜想由法國數學家Étienne Ghys於1995年提出，涉及動力系統與復幾何結構之間的深層聯繫，其中關鍵對象為Anosov系統。
該問題懸而未決三十多年，屬於復幾何與動力系統交叉領域的著名難題，因證明路徑長期缺失，一直是相關方向研究者反覆攻堅的目標。
IXThinker 會員內容
呢篇係 Archive 內容。登入即可解鎖全文，仲有成個 15,000+ 篇、每日更新嘅 AI 動態資料庫。
免費登入／註冊解鎖全文 →Google 或電郵地址即可，即刻解鎖。