Fundacja Simonsa ogłosiła nowy zestaw inicjatyw, które mają pomóc społeczności matematycznej w radzeniu sobie z szybkim rozwojem sztucznej inteligencji w tej dziedzinie, przy wsparciu 15 milionów dolarów połączonych funduszy i zasobów fundacji, Anthropic i OpenAI.
Fundacja będzie zarządzać funduszami i je przyznawać, w tym w drodze otwartego zaproszenia do składania wniosków, w celu wspierania warsztatów i inicjatyw, które pomogą naukowcom ocenić najnowsze wyniki uzyskane za pomocą sztucznej inteligencji, uczyć się i wykorzystywać nowe narzędzia, dzielić się perspektywami i kształtować zbiorowe standardy dotyczące wykorzystania sztucznej inteligencji w badaniach matematycznych. Więcej kontekstu na ten temat znajdziesz w naszych trendy AI.
Narzędzia i obliczenia wykraczające poza matematykę
Oprócz finansowania Anthropic i OpenAI zapewnią narzędzia sztucznej inteligencji i zasoby obliczeniowe badaczom wspieranym przez Fundację Simonsa. Zgodnie z zapowiedzią fundacji wsparcie to wykracza poza matematykę i obejmuje szerzej nauki podstawowe — stanowi niezwykle bezpośredni kanał między pionierskimi laboratoriami zajmującymi się sztuczną inteligencją a pracującymi badaczami akademickimi.
Porozumienie wyróżnia się swoją strukturą: zamiast ustalać program przez laboratoria, fundacja kontroluje sposób przyznawania pieniędzy, a materiały prasowe podkreślają, że nagrody i zasoby będą kierowane przez społeczność.
Dlaczego matematyka jest na pierwszej linii frontu
Matematyka stała się jednym z najważniejszych pól testowych sztucznej inteligencji w nauce. Fundacja Simonsa już od samego początku wspierała uczenie maszynowe w nauce, m.in. finansując rozwój asystenta Lean Proof, który zmienił sposób, w jaki matematycy formalizują pracę i umożliwił przeprowadzanie dowodów wspomaganych sztuczną inteligencją. Ponieważ systemy sztucznej inteligencji w coraz większym stopniu przyczyniają się do odkryć matematycznych, społeczność staje przed praktycznym problemem: jak weryfikować, oceniać i ufać wynikom uzyskanym przy znacznym wsparciu maszyn.
Problem weryfikacji ma kluczowe znaczenie dla finansowania nowej inicjatywy. Warsztaty i inicjatywy mające na celu „ocenę najnowszych wyników uzyskanych dzięki sztucznej inteligencji” potwierdzają, że tradycyjny proces wzajemnej oceny nie został zaprojektowany z myślą o dokumentach sporządzanych przy użyciu systemów sztucznej inteligencji lub w niektórych przypadkach w znacznym stopniu przez nie wytwarzanych.
Struktura fundacji: przede wszystkim społeczność
Prezes Fundacji Simonsa, David Spergel, określił ten wysiłek jako moment na wspólne podejmowanie decyzji. „Ponieważ sztuczna inteligencja szybko zmienia krajobraz badawczy, chcemy pomóc społeczności matematycznej zjednoczyć się i wytyczyć najlepszą drogę naprzód” – stwierdził Spergel w ogłoszeniu. „Teraz nadszedł czas, aby spojrzeć na matematykę jako całość – nie jako na zbiór dowodów i twierdzeń, ale jako zbiorowe zrozumienie napędzane ludzką ciekawością”.
Spergel wyraźnie określił, kto powinien ustalać warunki adopcji. „To społeczność powinna prowadzić dyskusje na temat oceny, przyjmowania i używania tych narzędzi, a nie pojedyncza firma czy instytucja” – stwierdził. „Celem programu jest wsparcie społeczności matematycznej”.
Oświadczenie brzmi jako celowy kontrast w stosunku do dynamiki znanej z wdrażania sztucznej inteligencji: poszczególne instytucje negocjują oddzielne umowy z dostawcami modeli, zgodnie z normami ustalanymi przez to laboratorium lub uniwersytet, które zrobi to pierwsze. Kierując finansowanie w drodze otwartego zaproszenia i kładąc nacisk na zbiorowe standardy, fundacja próbuje ustanowić punkt koordynacyjny dla dyscypliny, której wyniki – dowody – są niezwykle weryfikowalne, a zatem niezwykle narażone na skróty wspomagane sztuczną inteligencją.
Model dla innych dziedzin
Inicjatywa może służyć jako szablon wykraczający poza matematykę. Podstawowe dziedziny nauki stoją przed tym samym podstawowym pytaniem – jak wchłonąć narzędzia AI bez oddawania standardów dostawcom tych narzędzi – a struktura Fundacji Simonsa, w której neutralna filantropia zarządza zasobami ofiarowanymi przez konkurencyjne firmy zajmujące się sztuczną inteligencją, jest jedną z pierwszych prób odpowiedzi.
Historia fundacji zapewniła jej wiarygodność w odgrywaniu tej roli: poza wczesnym finansowaniem asystenta Lean Proof, fundacja organizowała warsztaty, wykłady i nawiązała współpracę badającą rolę sztucznej inteligencji w matematyce. Nowe zobowiązanie w wysokości 15 milionów dolarów formalizuje to skupienie władzy w finansowanym programie dokładnie w momencie, gdy wyniki wspomagane sztuczną inteligencją pojawiają się szybciej, niż są w stanie je wchłonąć normy społeczne.
---
Bądź na Bieżąco z AINajnowsze wiadomości, analizy i przełomy w dziedzinie AI — wszystko w jednym miejscu.
Czytaj więcej wiadomości AI →
