Meta’s Muse Spark rozwiązuje sześć otwartych problemów matematycznych
Model AI Meta, Muse Spark, przyczynił się do rozwiązania sześciu nierozwiązanych dotąd problemów matematycznych. Firma opublikowała prace naukowe z jasnym podziałem na wkład ludzki i sztucznej inteligencji.
Muse Spark od Meta dokonał przełomu w badaniach matematycznych, rozwiązując sześć tzw. "otwartych" problemów.
Meta opublikowała sześć artykułów naukowych, które powstały we współpracy matematyków z modelem AI. Zgodnie z informacjami firmy, badacze wykorzystali wersje Muse Spark 1.1 oraz 1.2 w trybie myślenia (Thinking Mode) za pośrednictwem standardowego czatu meta.ai, bez stosowania specjalistycznych narzędzi czy interfejsów programistycznych.
Warto podkreślić, że każda z prac precyzyjnie wskazuje, które fragmenty zostały napisane przez ludzi, a które wygenerowane przez sztuczną inteligencję.
Osiągnięcia te obejmują szeroki zakres dziedzin matematyki: teorię prawdopodobieństwa, równania różniczkowe, optymalizację, teorię grup, algebrę oraz fizykę arytmetyczną.
Przykładowo, model obalił hipotezę Kidy z 2024 roku, wykazując, że grupa półabelowa nie musi być monomialna. Udowodniono również, że symetryczne radialnie rozwiązania o ujemnej energii dla biharmonicznego nieliniowego równania Schrödingera zapadają się w skończonym czasie – pytanie to pozostawało otwarte od 2015 roku.
Należy jednak zaznaczyć, że we wrześniu inna grupa badawcza również obaliła hipotezę Kidy, korzystając z agenta AI. Meta twierdzi, że jej wyniki zostały uzyskane niezależnie.
Dlaczego to ważne
AnalizaSugeruje to, że modele czołowej generacji mogą wnosić realny wkład w badania matematyczne, wykraczając poza generowanie kodu czy tekstu. Jawne przypisanie autorstwa między człowiekiem a AI może stać się nowym standardem w publikacjach akademickich.
Dyskutuj w społeczności
Dziel się swoimi pytaniami i spostrzeżeniami z programistami