OpenAI publikuje 722 prace matematyczne po próbie rozwiązania 4000 otwartych problemów
OpenAI publikuje 722 prace matematyczne po próbie rozwiązania 4000 otwartych problemów
OpenAI udostępniło 722 prace matematyczne stanowiące wynik próby rozwiązania 4000 nierozwiązanych problemów z wykorzystaniem modelu GPT Pro i niewydanej jeszcze wersji AI.
OpenAI opublikowało 722 prace matematyczne jako rezultat ambitnej próby rozwiązania 4000 otwartych problemów matematycznych. Każdy problem był analizowany przez około 3 godziny przy użyciu usługi GPT Pro oraz niewypuszczonego jeszcze modelu OpenAI.
Część wyników została już sformalizowana w języku Lean, a firma zapowiada stopniowe formalizowanie pozostałych dowodów.
Materiały są dostępne w repozytorium openai/math, którego nazwa jest, co nie dziwi, dość imponująca.
Dlaczego to ważne
AnalizaPublikacja pokazuje skalę zastosowania systemów AI w badaniach matematycznych nad nierozwiązanymi problemami, podczas gdy weryfikacja formalna za pomocą Lean zwiększa wiarygodność uzyskanych wyników.
Dyskutuj w społeczności
Dziel się swoimi pytaniami i spostrzeżeniami z programistami