Założyciel Cardano ocenia przełom matematyczny OpenAI

Założyciel Cardano, Charles Hoskinson, powiedział 9 września, że sztuczna inteligencja poczyniła większe postępy w matematyce formalnej, niż się spodziewał.

Hoskinson stwierdził, że postępy matematyczne sztucznej inteligencji znacznie przewyższyły jego wcześniejsze oczekiwania.

OpenAI twierdzi, że około 10 000 agentów opracowało rozwiązanie równania Naviera-Stokesa w ciągu 88 godzin pracy.

Clay nadal klasyfikuje równanie Naviera-Stokesa jako nierozwiązane, czekając na publikację, przegląd i szeroką akceptację matematyczną na całym świecie.

Hoskinson podniósł obawy dotyczące poufności dla badaczy wprowadzających nieopublikowane prace do scentralizowanych systemów AI w chmurze.

OpenAI zaprzeczyło dostępowi do prywatnych prac, ale nie mogło wykluczyć, że zanonimizowane dane wpływały na poprawę modeli.

Jego komentarze nastąpiły po twierdzeniu OpenAI, że wewnętrzny system opracował rozwiązanie problemu Millennium Naviera-Stokesa.

Podczas transmisji Hoskinson nazwał zgłoszone możliwości "dość niezwykłymi". Jednak poruszył również nierozwiązane pytania dotyczące pochodzenia pracy oraz prywatności badań przesyłanych do usług AI w chmurze.

Hoskinson powiedział, że początkowo spodziewał się, że systemy formalne pomogą większym zespołom matematyków współpracować i weryfikować dowody napisane przez ludzi. Nie spodziewał się, że duże modele językowe będą w stanie generować pełne dowody same tak szybko.

"Nigdy nie przewidywaliśmy, w jakim stopniu AI się zaangażuje," powiedział Hoskinson. Dodał, że pomysł, że AI całkowicie napisze dowód, wydawał się wcześniej "dość odległy".

Hoskinson ma bezpośrednie powiązanie z badaniami matematyki formalnej. W 2021 roku przekazał 20 milionów dolarów na Uniwersytet Carnegie Mellon, aby ustanowić Centrum Hoskinsona dla Matematyki Formalnej, zgodnie z ogłoszeniem uniwersytetu.

Jego najnowsze komentarze pasują również do szerszych eksperymentów Cardano z sztuczną inteligencją. Jak wcześniej informowało crypto.news, Hoskinson bronił eksperymentów z agentami AI Cardano dotyczących komunikacji, aktywności społeczności i skoncentrowanego na prywatności ekosystemu Midnight.

OpenAI opublikowało swoje badania 8 września. Firma powiedziała, że wewnętrzny model skoordynował około 10 000 agentów i opracował proponowane rozwiązanie po 88 godzinach. GPT-6 Astra spędził następnie kolejne 17 godzin na formalizacji i sprawdzeniu argumentu w Lean.

Dowód próbuje ustalić, że początkowo gładki, stacjonarny płyn może rozwinąć osobliwość w skończonym czasie, gdy jest poddany gładkiej sile zewnętrznej. OpenAI powiedziało, że spełnia to stwierdzenia C i D w oficjalnej formułacji Millennium Prize.

Firma opublikowała również artykuł analityczny i kod Lean. Formalizacja Lean zapewnia weryfikację maszynową, że zakodowane kroki wynikają z podanych założeń. Nie ustala niezależnie, że każda definicja i założenie dokładnie reprezentują zamierzony problem matematyczny.

OpenAI powiedziało, że nie planuje ubiegać się o związane z tym nagrodę w wysokości 1 miliona dolarów. Niemniej jednak firma opisała swoją pracę jako rozwiązanie problemu.

Instytut Matematyczny Clay nadal oznacza problem Naviera-Stokesa jako "nierozwiązany". Jego strona internetowa nie uznała zaproponowanego dowodu OpenAI jako akceptowanego rozwiązania w momencie raportowania.

Clay nie akceptuje proponowanych rozwiązań poprzez bezpośrednie zgłoszenia. Zgodnie z jego zasadami, rozwiązanie musi pojawić się w kwalifikowanej publikacji. Musi minąć co najmniej dwa lata, a praca musi zyskać ogólną akceptację w globalnej społeczności matematycznej.

Ten proces oznacza, że ogłoszenie OpenAI i formalny dowód nie stanowią natychmiastowego uznania instytucjonalnego. Matematycy muszą zbadać, czy konstrukcja spełnia precyzyjne sformułowanie problemu i czy jej użycie siły zewnętrznej odpowiada pytaniu, jak powszechnie rozumiane.

Ogłoszenie przyciągnęło również uwagę matematyka z Uniwersytetu Nowojorskiego, Tristana Buckmastera, oraz badacza z Anthropic, Leventa Alpöge. Badacze pracowali nad związanym wynikiem równania Eulera, używając podejścia z wymuszeniem.

Buckmaster zakwestionował, czy prywatna praca wprowadzona do systemu Codex OpenAI mogła przyczynić się do wyniku firmy. Nie oskarżył jednak o udowodnione niewłaściwe postępowanie, mówiąc: "Nie wiem, czy nasze dane zostały wykorzystane."

OpenAI zaprzeczyło dostępowi do ich konkretnej pracy. Jednak firma powiedziała, że nie może całkowicie wykluczyć możliwości, że zanonimizowane dane z ich użycia produktu mogły pomóc w poprawie modeli. OpenAI utrzymywało, że jej dowód został opracowany niezależnie i różnił się od pracy badaczy.

Hoskinson argumentował, że spór powinien dotyczyć badaczy zajmujących się nieopublikowanymi pomysłami. Powiedział, że naukowcy korzystający z scentralizowanych usług AI powinni rozważyć, czy podpowiedzi, notatki i dzienniki badań pozostają poufne.

Następna faza będzie polegać na publicznym przeglądzie artykułu OpenAI i formalizacji Lean. Dopóki specjaliści nie przeanalizują założeń i nie zostaną spełnione formalne warunki Clay'a, praca pozostaje zgłoszonym rozwiązaniem, a nie uznanym rozwiązaniem.

Niniejsza treść ma charakter wyłącznie informacyjny i nie stanowi porady finansowej, inwestycyjnej, prawnej ani podatkowej. Wszelkie wydarzenia, nagrody, promocje online lub powiązane informacje, o których tu mowa, nie powinny być traktowane jako rekomendacja, zachęta ani zaproszenie do kupna, sprzedaży, wymiany lub innego rodzaju obrotu aktywami kryptograficznymi. Aktywa kryptograficzne charakteryzują się dużą zmiennością i mogą prowadzić do strat. Dostępność usług, produktów i powiązanych wydarzeń WEEX może się różnić w zależności od regionu. Użytkownik jest odpowiedzialny za upewnienie się, że jego udział jest zgodny z obowiązującymi lokalnymi przepisami i regulacjami.