要約:
ヤウ数学・人工知能研究所アライアンスは、10 月 11 日に清華大学で設立されました。人工知能、数学、学際的研究の統合を促進するために、約 1,000 人の数学者と研究者を結集する予定です。フィールズ賞受賞者で清華大学理事長の邱成通教授がこの同盟のリーダーを務めています。同氏は、中国は最先端科学の促進にAIを活用する点で依然として米国に遅れをとっており、国内の大型模型に関する科学研究能力はまだ世界をリードするレベルに達していない、と述べた。この同盟は、才能とリソースを統合して、数理科学のための特別なモデルを独自に開発することを望んでいます。
この提携は、清華大学秋鎮学院、清華大学ヤウ・シントン数学科学センター、北京延斉湖応用数学研究所、中国科学院モーニングサイド数学センター、上海数学学際研究院、東南大学ヤウ・シントンセンター、和濤数学学際研究所を含む8機関によって共同設立されたものである。科学（深セン）、香港中文大学知鎮学際数学研究所。最初の数学および人工知能研究所は清華秋鎮学院にあり、ヤウ数学科学センターと共同で設立されました。この同盟はまた、北京、上海、南京、深セン、香港に研究所を建設し、モデルトレーニングリソース、正式な数学ライブラリ、コンピューティングパワープラットフォームを共有することで協力することも計画している。
この提携の現在の焦点には、大規模な数学固有のモデルの開発、推測の発見と形式的証明を支援する AI の使用、説明可能な人工知能の開発、数学と量子コンピューティング、ライフ サイエンス、金融およびその他の分野の融合の促進が含まれます。同連合は人材育成や国際協力も実施し、「Journal of AI-Assisted Mathematics」の設立も計画している。この設立イベントでは、幾何学、量子コンピューティング、生命科学のほか、縮退アーノルド予想やシルベスター予想などの数学的問題を含む、10 を超える研究結果と方向性が発表されました。これらのプロジェクトの成熟度は同じではありません。一部は研究の方向性であり、完成した査読済みの結果とはみなされません。
注目を集めている事例の 1 つは、7 次元ホモトピー球を研究するための清華ヤウ数学科学センターと上海数学学際研究所との協力です。現在プレプリントとして入手可能なこの研究論文は、28 クラスのすべての有向微分写像の滑らかな 7 次元ホモトピック球が、厳密に正の断面曲率を持つリーマン計量を構築すると報告しています。この提携によれば、AI はチームが証明戦略を検討し、計算を簡素化するのに役立ちます。計算代数システムは、恒等性と区間限界を検証し、再現可能な計算証明書を生成するために使用されます。研究の構想、証明、最終的な実証は依然として数学者によって行われているため、この結果は AI によって独立して証明されるわけではありません。
数学的結果をバッチで生成する AI の機能は、学術基準に関する議論も引き起こしました。中国科学院院士で中国数学協会会長の習南華氏は、企業がAIで生成した結果を発表するペースは、数学界における厳格な検証や査読の伝統と矛盾しており、十分にテストされていない誤った内容が漏洩する可能性があると指摘した。同氏は、数学界とAI業界が共同して、すべての当事者が認めるルールを確立する必要があると考えている。最近、OpenAI は、内部モデルによって生成された一連の数学原稿と証明資料を公開しました。その公式倉庫には現在、372のグループに分類された719本の原稿がリストされており、結果は検証のさまざまな段階にあると説明されている。主要な結果の約 42% がリーンによって形式化されていますが、まだ形式化されていない結果にはまだ問題がある可能性があります。これはまた、AI 支援の数学研究では、探査効率の向上に加えて、検証、再現、責任の帰属の問題も解決する必要があることを強調しています。
Qiu Chengtong 氏は、AI は多数の証明と計算結果を生成できると考えていますが、洞察力に富んだ新しい疑問を提起し、数学的直観と創造的な判断を形成することは依然として人間の研究者の重要な役割です。提携が確立された後は、大規模なモデルの機能を検証可能な数学的発見にどのように変換し、一致する学術基準を確立するかが、その後の取り組みの鍵となります。
コメント