OpenAI opublikował dużą kolekcję badań matematycznych opracowanych przez wewnętrzny model AI graniczny, w tym prace nad problemami, które od lat stawiają wyzwanie profesjonalnym matematykom.
Firma ogłosiła wydanie 6 października, mówiąc, że wyniki obejmują szeroki zakres matematyki i są publikowane otwarcie do kontroli przez naukowców.
Publiczna kolekcja zawiera 722 manuskryptów zorganizowanych w 372 powiązanych rodzinach, według społeczności deweloperskiej OpenAI. Praca powstała w wyniku oceny obejmującej około 4000 problemów matematycznych.
Verge donosi, że kolekcja obejmuje setki matematycznych wyników generowanych przez nieuwolniony model graniczny. Jednak publikacja nie oznacza, że każde roszczenie powinno być natychmiast traktowane jako ustalony fakt matematyczny. Naukowcy będą musieli zbadać dowody i określić znaczenie i nowość indywidualnych wyników.
Jedną z szczególnie istotnych cech jest to, że OpenAI dostarczył formalizacji wielu dowodów za pomocą Lean, języka programowania, który pozwala na sprawdzenie dowodów matematycznych przez komputer. Firma mówi, że dodatkowe formalizacje zostaną dodane z czasem.
OpenAI ujawnił również uderzającą miarę danych obliczeniowych. Średnio każdy wynik wymagał obliczeń odpowiadających około trzech godzin ChatGPT Pro thinking przy użyciu modelu wewnętrznego.
Wydanie następuje coraz bardziej dramatyczne twierdzenia o zdolności SI do przyczyniania się do matematyki. We wrześniu, OpenAI powiedział, że ten sam szerszy wysiłek badawczy rozwiązał ponad 100 długotrwałych problemów otwartych, skłaniając firmę do współpracy z niezależną grupą wybitnych matematyków na temat tego, w jaki sposób takie odkrycia powinny być poddane przeglądowi i komunikowane.
Grupa ta obejmuje matematyków z instytucji takich jak Stanford, Harvard, Oxford, Cambridge, Berkeley i Instytut Studiów Zaawansowanych. Jej rolą nie jest po prostu popieranie prac OpenAI, ale niezależnie doradzanie na temat znaczenia, standardów badawczych i odpowiedzialnego ujawniania informacji.
Większe pytanie wykracza teraz poza to, czy AI może odpowiedzieć na trudne pytania matematyczne.
Jeśli niezależni matematycy ostatecznie zweryfikują znaczące części tej pracy, nową granicą może być to, czy AI może rutynowo odkryć matematykę, której ludzie jeszcze nie wiedzieli.
