Matematycy żądają dowodów od gigantów AI. OpenAI publikuje repozytorium z 722 pracami
Środowisko matematyczne wzywa laboratoria AI do udostępniania weryfikowalnych dowodów zamiast blogowych wpisów. W odpowiedzi OpenAI opublikowało repozytorium zawierające 722 artykuły naukowe.
Matematycy zaapelowali do czołowych laboratoriów sztucznej inteligencji o publikowanie rzeczywistych, możliwych do sprawdzenia dowodów, a nie jedynie postów na blogach.
OpenAI odpowiedziało na te wezwania, udostępniając repozytorium openai/math, które zawiera 722 artykuły pogrupowane w 372 wyniki badawcze.
Według firmy materiały zostały przygotowane przez nowy, wewnętrzny model, który nie został jeszcze publicznie udostępniony. Standardowe testy matematyczne okazały się dla niego zbyt łatwe, dlatego modelowi przydzielono około 4000 nierozwiązanych problemów badawczych. Niektóre z nich stawiały opór matematykom przez dekady.
Średnio każdy wynik wymagał około trzech godzin obliczeń. Model sformatował swoje odpowiedzi jako artykuły naukowe, a niektóre z nich roszczą sobie pretensje do rozwiązania bardzo znanych problemów.
Dlaczego to ważne
AnalizaTa inicjatywa pokazuje potencjał AI w generowaniu sformalizowanych artefaktów matematycznych, jednak bez otwartych i weryfikowalnych dowodów pozostają one jedynie deklaracjami. Dla środowiska naukowego kluczowe jest, by laboratoria AI publikowały materiały poddające się faktycznej weryfikacji.
Dyskutuj w społeczności
Dziel się swoimi pytaniami i spostrzeżeniami z programistami