Japanese Translation:

数学コミュニティが人工知能（AI）の急速な発展に対応できるよう支援するため、サイモンズ財団はアンソロピック社と OpenAI と連携し、合計 1500 万ドル規模のイニシアチブを共同で展開します。この資金の管理および交付は、公開による提案公募を通じて行われ、研究活動ならびにアンソロピック社および OpenAI が提供する計算リソースの双方を網羅します。支援されるイニシアチブは、研究者が AI 支援による結果を評価し、新しいツールを学び合い、視点を共有し、AI の利用に関する共通規範を策定することを目的としており、特定の企業や機関からの指導ではなくコミュニティ主導の評価に重点を置いています。数十年間にわたり数学および基礎科学の支援（機械学習プロジェクト「Lean」証明助手などへの早期支援を含む）を展開してきたサイモンズ財団は、このプロジェクトにおいて既存のワークショップ、講義、および AI が数学における役割について議論を行った協力関係に基づきつつ、発展するコミュニティニーズに応える形で助成を行う予定です。サイモンズ財団のデイヴィッド・スパーゲル理事長は、AI が研究領域を再定義する過程において、ツールの評価、採用、利用に関する議論は数学コミュニティが主導すべきであると強調し、将来も AI を包括的で科学的に厳密な手法として統合することを確保すると述べています。

シモンズ財団、AI 時代における数学研究の新たなイニシアチブを発表

概要：三者協力で 1500 万ドルの支援枠を設定

シモンズ財団は、人工知能（AI）の急速な発展に数学界が適切に対応できるよう支援するための新たな一連のイニシアチブを本日発表しました。

協力体制: シモンズ財団、Anthropic、OpenAI の 3 つの組織が連携して活動を行います。
予算規模: 合計で1500 万ドルの資金および資源を拠出します。
支援チャネル: 公開による提案公募など複数のルートを通じて、資金の管理と交付を行います。

支援の目的：検証と議論を促進

本プログラムは、以下の点を支援するために設計されています。

成果検証: 研究者が最新の AI 支援の結果を検証できるよう環境を整えます。
学習促進: 新たな AI ツールの学び方と活用方法を支援します。
対話の場: 相互の視点や議論を共有する機会を提供します。
基準策定: AI の利用に関する集団的な基準を設定するためのワークショップおよびイニシアチブを後押しします。

声明：数学を「集団的・人間中心」な理解へ転換

シモンズ財団のデビッド・スペルゲル会長は以下の考え方を示しています。

「人工知能は研究の風景を急速に変容させており、数学界全体が団結し、最適な未来への道筋を切り開くよう支援したい」

数学を単なる個々の証明や定理の集合体と捉えるのではなく、人間の好奇心によって支えられた集団的な理解として捉える時が来ました。

「今こそそのような視点を持つ必要があります。」

アンソロピック・オープンAI の具体的な役割

Anthropic と OpenAI は、シモンズ財団の後援を受ける研究者に対し、以下を提供します。

支援対象: 数学領域だけでなく、基礎科学分野にも及ぶ範囲です。
提供内容: AI ツールと計算リソースの供与。
運営方針: プログラムはコミュニティ主導で運営され、同財団の長年にわたる数学への支援と擁護に根ざした取り組みを最大限活用します。

過去の功績：科学用機械学習における先駆的役割

シモンズ財団はすでに、数学者の作業方法を一変させる貢献実績があります。

Lean プロジェクト: Leanという証明支援子の開発を資金面で支え、AI 支援による証明の実現に貢献しました（科学用機械学習の先駆け）。
学術活動: 数学者が集まり AI の役割を探求・議論するための以下を開催してまいりました。
- ワークショップ
- 講義
- 協力プロジェクト

結論：評価と採用はコミュニティ主導へ

スペルゲル会長は、今回のプログラムの最終的な目的について強調しています。

「これは数学界が団結する時です」

主体性: ツールの評価、採用、利用に関する議論を主導するのは、特定の企業や機関ではなく、コミュニティ自身であるべきです。
ゴール: このプログラムの目的は、まさに数学界全体を支えることにあります。

シモンズ財団が AI 時代における数学者の活動を支援するため、1500 万ドル規模の取り組みを開始