Simons Foundation: 15 millió dollár az AI-s matematikára

Mit kap a közösség?

A Foundation workshopokat, konferenciákat és speciális programokat finanszíroz. Ezek segítenek a kutatóknak az AI-eszközök használatában, a friss AI-asszisztált eredmények ellenőrzésében, illetve közös standardok kialakításában. Az OpenAI és az Anthropic emellett modelleket és számítási kapacitást is ad a Foundation által támogatott kutatóknak, nemcsak matematikában, hanem az alaptudományokban is (Simons Foundation).

Az OpenAI külön is megerősítette a 5 millió dolláros hozzájárulását. Azt írta: a támogatott kutatók hozzáférést kapnak a modelljeihez és a compute-hoz. Ugyanebben a posztban utal az október 6-án közzétett matematikai eredményeire is (OpenAI).

Forrás: Simons Foundation. A 15 millió dolláros program bejelentése.

Miért most?

Az Euronews szerint a lépés egy heves vita után jön. Az OpenAI szeptemberben közölte, hogy egy még nem kiadott modellje jelentős eredményt ért el a Navier-Stokes-egyenleteken, majd október 6-án több száz matematikai kéziratot tett közzé. Az Association for Human Mathematics (AHM) azt mondta: a matematikusok nem kérték ezt a munkát. Az AHM szerint az OpenAI figyelmen kívül hagyta a tudományos kutatás normáit. Két emberi matematikus, köztük Levent Alpöge, azt állította, hogy ők is közel voltak hasonló eredményhez. Kérdéses, hogy az OpenAI látta-e a munkájukat. Az OpenAI tagadja, hogy ismerte volna (Euronews).

David Spergel, a Foundation elnöke azt hangsúlyozza: a közösségnek kell vezetnie az AI-eszközök értékeléséről, átvételéről és használatáról szóló vitát, nem egyetlen cégnek vagy intézménynek.

Mit jelent ez gyakorlatban?

A program nem oldja meg a szerzőségi és elsőbbségi vitákat. Azt viszont intézményesíti, hogy az AI-generált bizonyítások ellenőrzésére és közös szabályokra külön forrás legyen. A Foundation korábban a Lean proof assistant fejlesztését is támogatta, amely a számítógéppel ellenőrizhető bizonyításokat tette lehetővé.