Model Astra od OpenAI rozwiązuje dziesięć skomplikowanych otwartych problemów matematycznych
Nowy wieloagentowy model Astra od OpenAI udowodnił dziesięć złożonych problemów matematycznych, które pozostawały nierozwiązane przez dekady. Przełomowe osiągnięcie zostało sformalizowane w systemie Lean przy minimalnych kosztach obliczeniowych.
Model Astra od OpenAI rozwiązuje dziesięć skomplikowanych otwartych problemów matematycznych
Większość z tych problemów pozostawała nieudowodniona przez wiele dekad. Nowy wieloagentowy model Astra zdołał je rozwiązać i sformalizować dowody za pomocą systemu Lean. Model został zaprezentowany przez Sama Altmana w tym tygodniu w Waszyngtonie i będzie pierwszym modelem poddanym nowemu procesowi zatwierdzania przez rząd przed oficjalnym udostępnieniem.
Najbardziej imponującym aspektem jest fakt, że całkowity koszt rozwiązania wszystkich dziesięciu problemów wyniósł mniej niż 2000 dolarów w tokenach, zgodnie z szacunkami Sol. OpenAI próbowało wcześniej rozwiązać inne złożone problemy, jednak bez sukcesu, ale potencjał skalowalności tego modelu jest ogromny.
Dlaczego to ważne
AnalizaSukces modelu Astra otwiera nowe możliwości automatyzacji dowodów matematycznych, co może znacząco przyspieszyć badania naukowe oraz transformować metody nauczania.
Dyskutuj w społeczności
Dziel się swoimi pytaniami i spostrzeżeniami z programistami