出来事の日付：2026年10月15日。 シモンズ財団は、研究における人工知能の利用拡大に数学者が対応できるよう支援するため、AnthropicおよびOpenAIとともに、資金と各種リソースを合わせて1,500万ドル規模で提供すると発表した。財団が事業を運営し、提案の公募などを通じて支援を決定する。
この取り組みは、AIツールをどのように評価し導入するかという意思決定の中心に数学者を据えることを目指している。支援対象には、研究者がAIを利用した数学上の成果を評価し、新たなツールの使い方を学び、意見を交換し、共通の基準をつくるためのワークショップなどの活動が含まれる。この仕組みには、実践のあり方を単一の企業や機関が決めるのではなく、研究コミュニティーが形づくるべきだという問題意識が反映されている。
AnthropicとOpenAIは、財団を通じて支援を受ける研究者にAIツールや計算能力も提供する予定だ。発表によると、こうしたリソースの提供対象は数学にとどまらず基礎科学にも及ぶ。財団は、長年にわたる数学研究支援を土台に、助成と利用機会の提供はコミュニティーの必要性に基づいて進めると述べた。
この事業が始まる背景には、証明の構築、形式検証、その他の数学の作業を支援するAIシステムの能力がますます高まっていることがある。この進歩は機会とともに実務上の課題も生む。研究者には、機械を利用して導いた結論を調べ、ツールの限界を理解し、責任ある利用の基準について合意する方法が必要だ。ワークショップは、手法を比較し、成果が学術的記録に取り込まれる前にどのように検証されるべきかを定める場となり得る。
シモンズ財団は、計算と科学が交わる領域での過去の取り組みを挙げている。同財団は早期から科学研究への機械学習の利用を支援し、証明支援系Leanの開発にも資金を提供してきた。Leanは、コンピューターによる検証やAIを利用した証明の研究で重要となっている形式的なシステムだ。財団はまた、数学におけるAIの役割に焦点を当てた講演、ワークショップ、共同研究も開催してきた。
財団理事長のデビッド・スパーゲルは、新たな取り組みについて、技術が急速に変化する中で数学分野が一体となって行動するための手段だと位置付けた。この事業では、数学を個々の証明や定理の単なる目録として捉えるのではなく、研究コミュニティーが生み出す共通理解を重視している。
今回の発表は、支援全体の枠組みと想定する活動を示したものであり、具体的にどのワークショップや取り組みに助成するかは、公募手続きを通じて決まる。成否を左右する中心的な点は、数学者が有用な評価方法と共通の規範を築きながら、そうした支援がなければテクノロジー企業に集中したままになりかねないツールや計算資源を利用できるかどうかだ。
