OpenAI wycofało milion dolarów ze sponsorowania matematycznego turnieju na Caltech

👁 148 przeczytań

OpenAI wycofało sponsoring wart milion dolarów z Mathathonu - turnieju matematycznego organizowanego przez studentów Caltechu - w czwartek 10 września, dzień po tym, jak list otwarty podpisany przez ponad 700 matematyków zażądał zawieszenia całego przedsięwzięcia.

Mathathon ogłoszono 4 września. Zawody mają odbyć się na Caltechu między 30 października a 1 listopada. Sto zespołów dostaje 40 godzin i około 20 000 dolarów w kredytach obliczeniowych, by przedstawić wynik dotyczący otwartego problemu matematycznego. OpenAI i Anthropic dostarczyły po milionie dolarów każda.

Czytasz Promptowego częściej? Dodaj go do preferowanych źródeł w Google, a nowe teksty będą wyżej w Twoich wynikach.

„Slop mathematics” i nieodpłatna praca badaczy

List otwarty krążył od 8 września, a opublikowano go 10 września. Podpisać go mogą jedynie członkowie społeczności Caltechu oraz matematycy z doktoratem lub wyżej. Przy publikacji miał 771 sygnatariuszy.

Kluczowe oskarżenie jest zawarte już w terminie, który list wprowadził do obiegu - slop mathematics, czyli matematyka produkowana szybko i rzucana innym do sprawdzenia. Autorzy zarzucają, że badacze-matematycy weryfikują, rozpowszechniają i poprawiają wyniki ogłaszane przez firmy AI, a ta praca jest - jak piszą wprost - „niewynagradzana, niezaliczana i nieakredytowana”. List kończy się wnioskiem, że firmy AI dopuszczają się nierzetelności badawczej. Pada też konkretna obserwacja ekonomiczna: żaden rozsądny przyszły model badań matematycznych nie zakłada, że każdy matematyk dostaje 20 000 dolarów w kredytach AI, by udowodnić jeden wynik.

Dan Roberts, dyrektor ds. badań w OpenAI, napisał na X, że firma „rozumie, iż szybki postęp AI w matematyce jest destrukcyjny” i chce rozmawiać ze środowiskiem o sposobach integracji technologii. Następnie OpenAI zabrało swój milion dolarów.

Anthropic nie wycofało się. Co więcej, w tym samym czasie firma aktywnie zabiegała o przychylność matematyków: TNW informował 6 września, że Anthropic użył Claude’a do sformalizowania Ostatniego Twierdzenia Fermata w języku Lean w ciągu zaledwie 11 dni. Firma rozszerzyła też darmowy dostęp i kredyty badawcze dla projektów formalizacyjnych. Na prośbę o komentarz ze strony Business Insider Anthropic nie odpowiedział.

Dzień po wycofaniu się OpenAI, 11 września, 25 laureatów Medalu Fieldsa opublikowało osobną deklarację zatytułowaną A Severe Misalignment of AI in Mathematics. Wśród sygnatariuszy są Terence Tao, Peter Scholze, Maryna Viazovska, Cédric Villani, Pierre Deligne, Manjul Bhargava i Martin Hairer - medaliści z lat 1978-2026. Ich argument jest węższy i celuje wyżej niż list z Caltechu. Piszą, że rozwiązywanie problemów to jedynie narzędzie i wskaźnik zastępczy, a prawdziwym celem matematyki jest „konceptualne rozumienie i wgląd”. Ostrzegają, że masowa produkcja prawdziwych lub fałszywych twierdzeń w rosnącym tempie „może zniszczyć żyzny grunt”. Deklaracja nie wymienia Mathathonu z nazwy i nie wzywa do jego odwołania - to jest statement o benchmarkach jako takich.

Dwa listy w dwa dni, od dwóch różnych grup, to najostrzejsza dotąd reakcja środowiska matematycznego na firmy AI. Żaden z nich nie dotyczy tego, czy modele działają. Oba dotyczą tego, co firmy robią z wynikami.

// czytaj dalejOpenAI kupuje startup Glass Imaging za ponad 300 milionów dolarówNewsyZamknięcie dnia: OpenAI zalewa matematykę. Środowisko pyta o dowodyNewsyOpenAI opublikował ponad 370 wyników matematycznych i wywołał spór w środowisku naukowcówNewsy