Badacze już znacząco poprawiają niedawne wyniki OpenAI w dziedzinie matematyki, weryfikując dowody w systemie Lean. Obala to argument, że tzw. 'slop proofs' generowane przez AI są bezużyteczne.
Matematyczne dowody generowane przez AI miały być bezużytecznym śmieciem, czyli słynnym "slop" bez wartości. Tymczasem naukowcy pokazują, że to surowy materiał do obróbki: weryfikując te dowody w systemie Lean (formalnym języku do sprawdzania poprawności matematycznej), zdołali znacząco ulepszyć wyniki OpenAI i tchnąć życie w coś, co wyglądało jak makulatura.
Tylko że tu pojawia się pytanie, które warto postawić głośno: czy to sukces sztucznej inteligencji, czy jednak dowód na to, że bez ludzkiej weryfikacji i dodatkowych narzędzi AI nadal nie daje rady samodzielnie stanąć na matematycznym podium?
To streszczenie zostało przygotowane przy pomocy narzędzi AI na podstawie źródła. Pełną treść znajdziesz w oryginalnym artykule.
Co o tym myślisz?
Zaloguj się, aby dołączyć do dyskusji.
Zaloguj się do dzis.ai
Komentuj, zachowaj swoją passę, dołącz do dyskusji.
G Kontynuuj z Google