Simons Foundationは、数学分野への人工知能の急速な統合に対応するための数学コミュニティ支援を目的とした新しいイニシアチブを発表しました。この共同パートナーシップにおいて、同財団はAI企業のAnthropicおよびOpenAIと共に、合計1,500万ドルの資金とリソースを拠出します。財団は、提案の公募を含むこれらの資金の管理を行い、研究者がAI支援による結果を評価し、新しいツールを習得し、数学におけるAI利用のための共通の標準を策定するためのワークショップやイニシアチブを支援します。
このイニシアチブは、科学のための機械学習を支援してきた同財団の歴史に基づいています。特筆すべき点として、Simons FoundationはLean証明アシスタントの初期の支援者であり、このツールはAI支援による証明をより実現可能にすることで、数学者の働き方を大きく変えてきました。数学への主要な焦点に加え、AnthropicとOpenAIは、財団が支援する選抜された研究者グループにAIツールと計算リソースも提供し、このイニシアチブの範囲を他の基礎科学分野にも拡大します。
この画像は、財団が数学者にとってAI支援による証明をより実現可能にするために支援したLean証明アシスタントを示しています。
このプログラムは、コミュニティが自ら標準を推進できるようにすることを目的としていますが、この提携は学術研究と主要なAIラボとの間の重要な交差を浮き彫りにしています。財団の目標は、数学を単なる定理の集合として見ることから脱却し、現代のテクノロジーに支えられ、人間の好奇心によって推進される共通の理解へと移行することです。「Math+AI研究所への重点助成金」への応募は現在受付中であり、提出期限は2026年12月1日です。このイニシアチブは、特定の企業ではなく数学コミュニティが、これらのツールが研究の風景を再構築し続ける中で、どのように採用され評価されるかを形作ることを確実にすることを目指しています。