シモンズ財団は、同財団、Anthropic、OpenAI からの資金とリソースを合わせて 1,500 万ドルの支援を受けて、数学コミュニティがこの分野での人工知能の急速な発展に対処できるよう支援する一連の新しい取り組みを発表しました。

同財団は、研究者が最近の AI 支援結果を評価し、新しいツールを学習して使用し、視点を共有し、数学研究における AI の使用方法に関する集合的な基準を形成するのに役立つワークショップやイニシアチブを支援するために、公募を含む資金を管理および授与します。 この件の詳細は、AIの最新動向をご覧ください。

数学を超えたツールとコンピューティング

Anthropic と OpenAI は、資金提供以外にも、サイモンズ財団の支援を受ける研究者に AI ツールとコンピューティング リソースを提供します。財団の発表によると、その支援は数学を超えて基礎科学をより広く含み、最先端のAI研究室と現役の学術研究者との間の異例の直接的なチャネルとなっている。

この取り決めはその構造が注目に値する。研究室が議題を設定するのではなく、財団が資金の授与方法を管理し、報道資料では賞とリソースがコミュニティ主導で行われることが強調されている。

なぜ数学が最前線なのか

数学は、科学における AI の最も重要な実験場の 1 つとなっています。 Simons Foundation は、数学者が作業を形式化する方法を再構築し、AI 支援による証明を可能にする Lean 証明アシスタントの開発に資金を提供するなど、科学のための機械学習を初期から支援してきました。 AI システムが数学的発見にますます貢献するにつれて、コミュニティは、実質的な機械支援によって生成された結果をどのように検証、評価、信頼するかという現実的な問題に直面しています。

この検証の問題は、新しい取り組みが資金を提供するものの中心となる。 「最近の AI 支援結果の評価」を目的としたワークショップや取り組みでは、従来の査読プロセスが AI システムで起草された証明、場合によっては実質的に AI システムによって作成された証明向けに設計されていないことを認めています。

財団の枠組み: コミュニティ第一

シモンズ財団のデビッド・スパーゲル会長は、この取り組みを集団的な意思決定の瞬間として位置づけた。 「人工知能が研究環境を急速に再構築する中、私たちは数学コミュニティが団結して前進する最善の道を築くのを支援したいと考えています」とシュパーゲル氏は発表の中で述べた。 「今こそ、数学を証明や定理の集合としてではなく、人間の好奇心に突き動かされた集合的な理解として、全体として見るときです。」

シュパーゲル氏は養子縁組の条件を誰が設定すべきかについて明確に述べた。 「単一の企業や機関ではなく、コミュニティがこれらのツールをどのように評価、採用、使用するかについての議論を推進すべきだ」と同氏は述べた。 「このプログラムの目標は、数学コミュニティをサポートすることです。」

この声明は、AI導入全体にわたるダイナミックなファミリ、つまり各研究機関がモデル提供者と個別の契約を交渉し、どちらの研究室または大学が先に移行するかによって基準が設定されることに対する意図的な対比として読み取れます。財団は公募を通じて資金を回し、集団基準を強調することで、その成果、つまり証明が異常に検証可能であるため、異常に AI 支援による近道にさらされている分野の調整ポイントを確立しようとしている。

他の分野のモデル

この取り組みは、数学を超えたテンプレートとして機能する可能性があります。基礎科学分野は、AI ツールのベンダーに基準を譲らずに、どのようにして AI ツールを吸収するかという同じ根本的な問題に直面しており、中立的な慈善団体が競合する AI 企業から寄付されたリソースを管理するというシモンズ財団の構造は、その答えを求める最初の試みの 1 つです。

この財団の歴史は、その役割を果たす信頼性を与えました。リーン証明アシスタントへの初期の資金提供を超えて、数学における AI の役割を探求するワークショップ、講義、コラボレーションを開催してきました。新たな 1,500 万ドルのコミットメントは、AI 支援による結果がコミュニティの標準が吸収できるよりも早く到着するまさにその瞬間に、資金提供されたプログラムに力を結集することを正式に表明するものです。

---

AIの最新情報をお届け

AIの最新ニュース、分析、ブレイクスルーを一箇所で。

AIニュースをもっと読む →