IT之家 10 月 15 日付報道、上海人工知能実験室は本日、数学界を 30 年余り悩ませてきた世界レベルの難問—— 三次元 Ghys 予想が解決されたと発表した。
上海人工知能実験室の客員研究員であり大湾区大学教授の許地生氏のチームは、書生科学マルチモーダル大規模モデル S2（書生-S2）を基盤とし、「通専融合」の技術パスに基づき、人間と機械の協働によって三次元 Ghys 予想の証明を完成させた。
北京大学の董彬教授・劉若川院士のチームは、同チームが開発した SHEAF フレームワークを用いて今回の証明に対する形式化検証を行い、この研究成果の正しさを検証した。これは、中国の科学者が中国製大規模モデルを用いて世界レベルの数学難問を解決した初の事例を示すものである。
Ghys 予想はフランスの数学者エティエンヌ・ジス（Étienne Ghys）により 1995 年に提唱されたもので、すべてのコンパクト複素多様体上の正則 Anosov 系が、ある複素 infra-冪零多様体上の正則アフィン自己同型に双正則共役であると予測するものだ。この問題は理論的な難易度と学問分野の象徴的価値を併せ持ち、力学系分野の数学専門家たちから、この分野における重要な長期未解決問題の一つとして公認されており、数学的推論能力を試す試金石とされている。
関連論文はすでにプレプリント・プラットフォーム（arXiv）で公開されており、形式化コードも Github プラットフォームで公開されている。IT之家がリンクを以下に添付する：
https://github.com/frenzymath/HolomorphicAnosov
上海人工知能実験室は、本研究の意義は新たな科学研究パラダイムの検証にもあると述べた。従来の数学研究は個人の天才による長い試行錯誤に依存してきたが、今回の難問攻略では専門家の直感を機械の求解ループに体系的に組み込み、「系統的探索——専門家の判断——成果の蓄積——フィードバックによる修正」という閉ループを形成した。このパラダイムは、「探索空間が巨大でありながら専門家が希少」というより多くの基礎研究分野に複製・展開可能で、より多くの「0 から 1」の原始的イノベーション突破を実現できる。
次に、今回の研究で確立された完全な能力の閉ループを活かし、チームはこれを書生・端硯科学発見プラットフォームの再利用可能な数学検証モジュールとしてさらにパッケージ化し、以後の科学問題研究で直接呼び出せるようにする。同時に、三次元 Ghys 予想の突破を起点として、上海人工知能実験室は蓄積した推論能力を、数学構造が同源である他の学問分野へ拡張適用する。新たな突破を得た後は、その新たな推論能力を端硯プラットフォームにパッケージ化して再利用し、より多くの学問分野と結び付けて次の突破を追求することで、「突破——パッケージ化——再利用——再突破」という自己進化のフライホイールを形成する。
広告に関する声明：本文中に含まれる外部ジャンプリンク（ハイパーリンク、QR コード、口令などの形式を含み、これらに限定されない）は、より多くの情報を伝達し、選別の時間を節約するためのものであり、結果は参考情報にすぎません。IT之家は外部リンクを含む記事にはすべて本声明を含んでいます。