サイモンズ財団は、急速に台頭する人工知能に数学界が対応できるよう支援する新たな取り組みを発表しました。AnthropicおよびOpen AIとのパートナーシップのもと、3つの組織は合計で1500万ドルの資金と資源を拠出します。
財団は公募を含め、この資金の管理と助成を行います。助成は、研究者がAIを活用して得られた最新の成果を評価し、新しいツールを学んで活用し、意見を共有し、AI利用に関する共通の基準を形成することを支援するワークショップや取り組みに充てられます。AnthropicとOpen AIは、財団が支援する研究者にAIツールや計算資源も提供し、その対象は数学にとどまらず基礎科学にも広がります。
サイモンズ財団のデイビッド・スパーゲル会長は、人工知能が研究の状況を大きく変えつつあり、今こそ数学界が結束すべき時だと述べました。「今こそ数学を、証明や定理の集合としてではなく、人間の好奇心に導かれた集合的な理解として全体的に捉えるべき時です」と語りました。
財団はこの分野で長年の実績があります。科学における機械学習の初期の支援者であり、数学者の仕事の進め方を変え、AIを活用した証明を可能にした証明支援系Leanの開発にも資金を提供しました。また、AIが数学分野で果たす役割を探るワークショップ、講演、共同研究も開催してきました。スパーゲル会長は、これらのツールをどのように評価し、導入し、使用するかの議論は、特定の企業や機関ではなく、コミュニティ全体が主導すべきだと強調しました。
出典: Hacker News · 要約：HeadlinesBriefing