Simons Foundation oznámila nový soubor iniciativ, které mají pomoci matematické komunitě orientovat se v rychlém vzestupu umělé inteligence v této oblasti, podpořené 15 miliony dolarů v kombinovaném financování a zdrojích od nadace, Anthropic a OpenAI.

Nadace bude spravovat a udělovat finanční prostředky, a to i prostřednictvím otevřené výzvy k předkládání návrhů, na podporu workshopů a iniciativ, které pomáhají výzkumníkům vyhodnotit nedávné výsledky podporované umělou inteligencí, učit se a používat nové nástroje, sdílet perspektivy a utvářet kolektivní standardy toho, jak se umělá inteligence používá v matematickém výzkumu. For more context on this story, see our ongoing breaking AI news.

Nástroje a počítání za hranice matematiky

Kromě financování poskytnou Anthropic a OpenAI výzkumníkům podporovaným Simons Foundation nástroje AI a výpočetní zdroje. Podle oznámení nadace tato podpora přesahuje matematiku a zahrnuje základní vědu šířeji – neobvykle přímý kanál mezi hraničními laboratořemi umělé inteligence a pracujícími akademickými výzkumníky.

Uspořádání je pozoruhodné svou strukturou: spíše než laboratoře, které stanovují agendu, nadace kontroluje, jak jsou peníze udělovány, a tiskový materiál zdůrazňuje, že ceny a zdroje budou řízeny komunitou.

Proč je matematika přední linií

Matematika se stala jedním z nejdůležitějších testovacích míst pro AI ve vědě. Simons Foundation byla prvním zastáncem strojového učení pro vědu, včetně financování vývoje asistenta Lean proof, který přetvořil způsob, jakým matematici formalizují práci, a umožnil důkazy za pomoci umělé inteligence. Jak systémy umělé inteligence stále více přispívají k matematickým objevům, komunita čelí praktickému problému: jak ověřovat, vyhodnocovat a důvěřovat výsledkům vytvořeným za vydatné strojové pomoci.

Tento problém ověřování je zásadní pro to, co nová iniciativa financuje. Workshopy a iniciativy zaměřené na „vyhodnocení nedávných výsledků za pomoci umělé inteligence“ uznávají, že tradiční proces vzájemného hodnocení nebyl navržen pro důkazy navržené systémy umělé inteligence nebo v některých případech v podstatě vytvořené systémy umělé inteligence.

Rámování nadace: Komunita na prvním místě

Prezident Simons Foundation David Spergel zarámoval úsilí jako okamžik pro kolektivní rozhodování. „Vzhledem k tomu, že umělá inteligence rychle přetváří výzkumné prostředí, chceme pomoci matematické komunitě sejít se a najít nejlepší cestu vpřed,“ uvedl Spergel v oznámení. "Nyní je čas podívat se na matematiku jako celek - ne jako na sbírku důkazů a teorémů, ale jako na kolektivní porozumění poháněné lidskou zvědavostí."

Spergel se jasně vyjádřil k tomu, kdo by měl stanovit podmínky adopce. "Komunita by měla vést diskuse o tom, jak jsou tyto nástroje hodnoceny, přijímány a používány, nikoli jednotlivá společnost nebo instituce," řekl. "Cílem programu je podpořit matematickou komunitu."

Prohlášení je záměrným kontrastem k dynamice známé napříč celým zaváděním umělé inteligence: jednotlivé instituce vyjednávají samostatné dohody s poskytovateli modelů, přičemž normy stanoví laboratoř nebo univerzita jako první. Přesměrováním finančních prostředků prostřednictvím otevřené výzvy a zdůrazněním kolektivních standardů se nadace pokouší vytvořit koordinační bod pro disciplínu, jejíž výstupy – důkazy – jsou neobvykle ověřitelné, a proto jsou neobvykle vystaveny zkratkám s pomocí AI.

Model pro jiná pole

Iniciativa může sloužit jako vzor mimo matematiku. Základní vědecké obory čelí stejné základní otázce – jak absorbovat nástroje umělé inteligence, aniž bychom dodavatelům těchto nástrojů postoupili standardy – a struktura Simons Foundation, ve které neutrální filantropie spravuje zdroje darované konkurenčními společnostmi s umělou inteligencí, je jedním z prvních pokusů o odpověď.

Historie nadace jí dala důvěryhodnost, aby mohla hrát tuto roli: nad rámec svého raného financování asistenta Lean proof svolávala workshopy, přednášky a spolupráce zkoumající roli umělé inteligence v matematice. Nový závazek ve výši 15 milionů dolarů formalizuje, že shromažďování moci do financovaného programu přesně v okamžiku, kdy výsledky podporované umělou inteligencí přicházejí rychleji, než je dokážou absorbovat normy komunity.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →