Objavljena tri naučna otkrića u režiji vještačke inteligencije

Američka tehnološka kompanija OpenAI objavila je tri naučna otkrića do kojih su došli njeni napredni modeli vještačke inteligencije, nudeći rješenja za kompleksne probleme sa kojima se naučna zajednica suočavala decenijama.

Rješavanje matematičkih hipoteza uz pomoć sistema Lean

Iz razvojnog tima programa ChatGPT u ponedjeljak je saopšteno da su njihovi modeli uspjeli da izrade dokaz hipoteze o lokalnom izglađivanju u svim dimenzijama. Time se istovremeno pruža rješenje i za Kakeyinu hipotezu, kao i za Steinovu hipotezu o restrikciji. Pomenuti matematički dokaz generisan je 18. oktobra, a već narednog dana formalizovan je upotrebom sistema Lean, specijalizovanog alata za računarsku provjeru dokaza.

Obaranje dugogodišnje pretpostavke u računarstvu

Kada je riječ o računarskim naukama, kompanija navodi da je vještačka inteligencija oborila hipotezu o eksponencijalnom vremenu. Riječ je o dugogodišnjoj pretpostavci o računskoj složenosti rješavanja određenih problema, koja predstavlja osnovu za stotine objavljenih istraživačkih radova. Dobijeni rezultat je takođe formalizovan kroz sistem Lean, a detaljno će ga ispitati stručnjaci sa Univerziteta Kalifornije u San Dijegu i Tehnološkog instituta Massachusetts (MIT).

Sponzorisano

Najnoviji filmovi iste veceri.

Premijere i omiljene serije kad god pozelis, na bilo kom uredaju.

Gledaj besplatno →

Prodor u teorijskoj fizici i provjera nobelovca

Značajan iskorak postignut je i na polju teorijske fizike, gdje su formulisani dokazi o postojanju pojedinih četvorodimenzionalnih kvantnih teorija polja, uključujući kvantnu hromodinamiku koja opisuje jaku nuklearnu silu. Predstavljeni rad sadrži i prijedlog dokaza postojanja čiste Yang-Millsove teorije, čime se tretira dio jednog od zagonetnih milenijumskih problema za koje je Clay Mathematics Institute ponudio nagradu.

Stručni tim fizičara koji će provjeravati ove nalaze, koji još nisu predstavljeni javnosti, predvodiće dobitnik Nobelove nagrade David Gross. U kompaniji OpenAI ove zapise opisuju kao sirove istraživačke podatke i naglašavaju da će nezavisne akademske grupe detaljno analizirati i obrazložiti rezultate, uz obezbijeđenu finansijsku podršku same kompanije.