中国のAIモデルが3次元Ghys予想の証明を支援

TREE NEWS 情報： 上海AIラボの客員研究員で大湾区大学の教授であるXu Disheng氏が率いるチームは、同ラボのマルチモーダル科学モデルS2を用いて、30年以上未解決だった問題である3次元Ghys予想の人間と機械の協働による証明を完成させた。その後、Dong Bin氏とLiu Ruochuan氏が率いる北京大学のチームが、SHEAFフレームワークを用いてこの証明を正式に検証した。中国の科学者が中国の大規模モデルを用いて世界級の数学問題を解決したのは初めてのことである。