OpenAI Astra rozwiązuje 10 otwartych problemów matematycznych
Model OpenAI Astra pokonał wyzwania, które pozostawały nierozwiązane przez dekady, publikując dowody w systemie Lean. Rywalizacja z Anthropicem przybrała na sile po twierdzeniach inżyniera tej firmy o rozwiązaniu połowy problemów w jeden dzień.
Wewnętrzny model OpenAI, znany jako Astra, pomyślnie rozwiązał 10 otwartych problemów matematycznych, z których niektóre stawiały opór naukowcom od 40 do 50 lat. OpenAI opublikowało szczegółowe stanowisko zawierające wszystkie dowody zapisane w języku Lean oraz opis procesu rozumowania modelu.
Sukces ten wywołał natychmiastową reakcję ze strony konkurencji. W mediach społecznościowych pojawiły się memy porównujące osiągnięcia obu gigantów AI:
OpenAI: Zhakowaliśmy jedną organizację. Anthropic: Ha, my zhakowaliśmy trzy.
OpenAI: Rozwiązaliśmy 10 otwartych problemów matematycznych. Anthropic: My rozwiązaliśmy połowę z nich w jeden dzień za pomocą Fable.
Nie jest to jednak żart. Dzień po publikacji artykułu OpenAI, inżynier z Anthropica potwierdził, że ich model Fable rzeczywiście rozwiązał połowę wymienionych problemów „na gorąco”, bez dostępu do internetu.
Dlaczego to ważne
AnalizaTo wydarzenie demonstruje gwałtowny postęp w zdolnościach modeli AI do rozwiązywania złożonych zagadnień naukowych, które wcześniej wymagały wieloletnich badań ludzkich. Takie osiągnięcia mogą przyspieszyć rozwój nauk ścisłych i inżynierii, zmieniając paradygmat pracy badawczej.
Dyskutuj w społeczności
Dziel się swoimi pytaniami i spostrzeżeniami z programistami