中国は人工知能と基礎科学の交差分野で重大なブレークスルーを達成した。上海人工知能研究所の発表によれば、世界の数学界を30年以上にわたって悩ませてきた世界レベルの数学的難題である三次元Ghys予想がこのほど正式に解明された。これはまた、中国の科学者が初めて国産大規模モデルを用いて世界レベルの数学的難題の攻克に成功したものである。
今回の研究は、上海人工知能研究所の客員学者であり大湾大学教授の許地生チームが率いた。研究チームは「書生科学マルチモーダル大モデルS2」（書生-S2）を基盤とし、「通専融合」という技術的アプローチに基づいて、人機協働の方法により最終的に三次元Ghys予想の証明を完成させた。同時に、北京大学の董彬教授と劉若川院士のチームが、独自開発したSHEAFフレームワークを用いて、今回の証明過程に対する形式化検証を行い、この研究成果の正しさを確固として確認した。
数学の力学系分野における重要な長期公開問題として、三次元Ghys予想はフランスの数学者エティエンヌ・ジス（Étienne Ghys）により1995年に提起された。この予想は、すべてのコンパクト複素多様体上の正則Anosov系は、ある複素infra-冪零多様体上の正則アフィン自己同型に双正則共役であることを主張している。この問題は極めて高い理論的難易度と学問的象徴的価値を兼ね備えているため、長い間、数学界において人工知能と人間の数学的推論能力を検証する試金石として認められてきた。
今回、中国の科学者チームが人機協働によってこの難題の攻克に成功したことは、最先端の科学計算と複雑な論理推論に対応する国産大規模モデルの深い潜在力を示しただけでなく、将来の人工知能による基礎科学研究への深い参画のための新たな実践的道筋を開いた。