OpenAIは10月15日、AIが生み出した数学の成果を数学者が検証し、理解を深めるため、サイモンズ財団の新たな取り組みに500万ドルを拠出すると発表しました。研究者向けに、自社のAIモデルや計算資源へのアクセスも提供します。

サイモンズ財団、OpenAI、Anthropicによる支援全体は、資金と計算資源などを合わせて1,500万ドル規模です。

AIの成果を、人間が理解できる知識へ

今回の支援が目指すのは、AIの出した数学の結果を研究者が調べ、その意味や考え方を理解し、次の発見につなげることです。OpenAIは、自社が最近公開した数学の成果も対象に含めています。

数学では、結論だけでなく、そこに至る証明が正しいか、どの条件で成り立つかを確認する必要があります。さらに、その証明から得られる考え方を別の問題に応用できれば、一つの結果が新たな研究の出発点になります。

この取り組みは、そうした検証や理解を進める数学者側の活動を支えるものです。

資金は財団が管理・配分

支援金の管理と配分はサイモンズ財団が担います。OpenAIによると、資金はワークショップや学会、特別プログラムなどに使われます。

財団は公募も通じて、AIを使った研究成果の評価、新しい道具の習得、研究者同士の意見交換を支援する方針です。AIを数学研究でどう使い、どう評価するかという共通の基準づくりも含まれます。

なお、全体の1,500万ドルは、現金だけの助成総額ではありません。資金と、提供されるツールや計算資源を合わせた支援規模です。

財団のデイビッド・スパーゲル会長は、数学を証明や定理の集まりとしてだけでなく、人間の好奇心によって育つ共同の理解として捉える必要があると説明しています。

また、AIの評価方法や導入のあり方は、一企業や一機関ではなく、数学の研究コミュニティが主導して議論すべきだとしています。

支援の対象は、成果の正しさを確かめる作業に加え、研究者が新しい道具を学び、その使い方を共同で考える活動にも及びます。

AIツールや計算資源は、サイモンズ財団が支援する研究者に提供されます。OpenAIとAnthropicによる提供は、数学だけでなく基礎科学の研究者にも広げるとしています。

一般ユーザーが申し込める新サービスの発表ではなく、研究者向けの支援施策です。10月15日の公式発表では、公募の具体的な日程、採択条件、利用できるモデル名、計算資源の上限などは明らかにされていません。

------------------------------------------------------------------------

出典確認：サイモンズ財団の公式発表、OpenAIの告知。