OpenAI publikuje 722 prace matematyczne napisane przez AI w modelu otwartego dostępu

OpenAI opublikowało zestaw 722 prac matematycznych wygenerowanych przez wewnętrzny model sztucznej inteligencji, który nie został jeszcze oficjalnie wprowadzony na rynek. Każda z prac dotyczy otwartego problemu matematycznego, a wszystkie dzieła zostały pogrupowane w 372 rodziny powiązanych artykułów z różnych dziedzin matematyki.

Od nasyconych benchmarków do badań podstawowych

Firma wyjaśniła, że testowanie modeli na konwencjonalnych benchmarkach stało się mniej interesujące ze względu na ich nasycenie. Zamiast tego agentowi przydzielono 4000 otwartych problemów badawczych. Według danych OpenAI, wypracowanie pojedynczego wyniku zajmowało średnio około trzech godzin rozumowania.

Wyniki godne uwagi

• Hipoteza Hodge'a dla abelowskich rozmaitości CM. Jest to szczególny przypadek hipotezy Hodge'a, która znajduje się na liście Problemów Milenijnych.
• Rozszerzenie obszaru braku zer funkcji zeta Riemanna do Re(s) > 11/12, co oznacza, że wszystkie nietrywialne zera leżą w pasie 1/12 < Re(s) < 11/12. Jest to wynik pośredni przybliżający dowód Hipotezy Riemanna.
• Rozwiązanie problemu czynników wolnej grupy. Problem ten pozostawał nierozwiązany od lat 40. XX wieku, a dowód zamyka jedną z najstarszych kwestii w teorii algebr von Neumanna.
• Hipoteza Unikalnych Gier. To centralne pytanie dotyczące granic aproksymacyjnego obliczania: dla wielu problemów NP-trudnych implikuje ono, że najlepsze znane algorytmy są już optymalne, a ich ulepszenie byłoby możliwe tylko wtedy, gdy P = NP. Dowód rozstrzygnąłby tę kwestię dla ogromnej klasy problemów.

Repozytorium

Wszystkie materiały są dostępne publicznie na GitHubie: github.com/openai/math.

Dlaczego to ważne: Sugeruje to, że systemy AI wychodzą poza generowanie kodu i odpowiedzi czatowych, przechodząc do tworzenia formalnych artefaktów badawczych w zakresie fundamentalnej matematyki. Jeśli wyniki zostaną niezależnie zweryfikowane, mogą zmienić sposób, w jaki mierzymy możliwości AI oraz jak podchodzimy do odkryć naukowych.