中国の研究者らが国産 AI モデルで 3D Ghys 予想を解決
大湾区大学の徐迪生教授が率いるチームは、上海AI研究所の科学モデルIntern-S2と協働し、1995年にエティエンヌ・ギースが提唱し30年以上未解決だった複素力学の問題、三次元Ghys予想の完全な証明を発表した。北京大学のチームが独立にすべての中核定理の形式機械検証を行い、数十万行の検証コードを生成した。論文はプレプリントプラットフォームで公開され、検証コードも完全にオープンソース化されている。AIモデルが重大な数学的証明に貢献した画期的な事例となる。
報道ソース
- Hacker News (AI)2026-10-18 20:19