科学中国の研究者、国産AIモデルで3次元ギース予想を証明
徐迪生氏が率いるチームは、上海人工知能研究所の科学大規模モデル「Intern-S2」と協力し、3次元ギース予想の厳密な証明を完成させた。北京大学のチームは形式的な機械検証で主要定理と証明全体の論理的完全性を独立に確認した。論文は国際プレプリントサイトで公開され、検証コードもオープンソース化された。
C
CGTN★★★☆☆2026-10-15 14:00元記事
中国の研究者、国産AIモデルで3次元ギース予想を証明
科学科学科学徐迪生氏が率いるチームは、上海人工知能研究所の科学大規模モデル「Intern-S2」と協力し、3次元ギース予想の厳密な証明を完成させた。北京大学のチームは形式的な機械検証で主要定理と証明全体の論理的完全性を独立に確認した。論文は国際プレプリントサイトで公開され、検証コードもオープンソース化された。
CCGTN★★★☆☆2026-10-15 14:00元記事
科学Minutes Reader 拡張機能は、元のウェブページを読みやすい表示に整え、記事や動画字幕を必要に応じて翻訳します。現在テスト中で、枠に限りがあります。