IT之家 10月12日の報道によると、北京日報の記事によると、10月11日、丘成桐数学と人工知能ラボの連合が清華大学で設立されました。この連合は、数学科学専用の大規模モデルの研究開発、AIを活用した数学の形式化証明や仮説の発見、解釈可能な人工知能、および交差分野のスマート計算などの分野で取り組み、AIと数学の深い融合を推進する予定です。
IT之家の以前の報道によると、OpenAI 今月初めに、722編の数学研究の手稿が一度に公開された内容は数論、代数学的幾何学、理論コンピュータ科学、流体力学および統計物理学などの先端的分野を包含しており、長期にわたって存在していた多くの数学的難問を解決し、数学界に大きな影響を与えました。
連盟のリーダーであり、清華真知学園の院長である丘成桐は、連盟設立式でAI時代の数学の発展について次のように述べました。「これにより、私たちは数学の本質的な価値を再考する必要があります。また、AIの波に乗りたいと願うだけで、隠れることはできません。」
報道によると、連盟は「AI+数学」に関する10以上の重要な成果と研究方向を発表しました。これらは幾何学、量子計算、生命科学などの分野を中心に、退化アーノルド猜想問題、最小限の修正における有界性、7次元同伦球面などの科学的問題に関連しています。
その中で、清華大学チウ・チントン数学科学センターおよび上海数学・交差学研究所が行った「7次同伦球面：すべての滑らかな構造は、全点が正の断面曲線を支えることができる」という研究において、AIは証明戦略の探索を補助し、計算を簡略化するために使用される。計算代数学的システムは、正確な恒等式や区間の境界を検証し、再現可能な計算証明書を生成するために用いられる。数学者がアイデアと証明を行い、結果を検証し、数学的な論理証明と論文を完成させる。 また、AIは他の科学問題の解決において科学者にアイデアのヒントを提供し、科学者が初期の実験的計算などを行うことを支援しています。
チウ・チェンテングは次のように述べています。この協力組織は、1000人以上の数学者や科学研究者の力を結集している。清華大学求真学院、チウ・チェンテング数学科学センター、北京雁栖湖応用数学研究院、中国科学院晨興数学センター、上海数学と交差学研究所、東南大学チウ・チェンテングセンター、河套数学と交差学研究所（深セン）、香港中文大学致真交差数学科学院などの機関が、若手学者や学生に先端的指導を提供し、資源の統合を積極的に推進し、中国独自の数学大模型の構築方法を探求する予定です。