„OpenAI“ skelbia apie tris naujus mokslinius įrodymus ir pasitelkia išorinius vertintojus

„OpenAI“ pirmadienį, spalio 26 d., pranešė, kad jos vidiniai modeliai pateikė tris naujus rezultatus. Vienas jų yra vietinio glotninimo hipotezės įrodymas visose dimensijose, kuris taip pat išspręstų Kakeya ir Stein apribojimų hipotezes. Antrasis yra eksponentinio laiko hipotezės paneigimas, o trečiasis yra griežtas kvantinės chromodinamikos egzistavimo įrodymas. Užuot prašiusi akademinio pripažinimo, bendrovė pakvietė išorinius ekspertus veikti kaip „globėjus“ ir suburti grupes, kurios patikrins ir paaiškins šį darbą.theverge.com+1

Trys rezultatai, trys išleidimo planai

Matematinis teiginys remiasi 1991 m. Christopherio Sogge vietinio glotninimo hipoteze. Matematikai ją įrodė dviejose erdvinėse dimensijose 2019 m., o Kakeya hipotezė buvo įrodyta trijose dimensijose 2025 m. „OpenAI“ teigia, kad jos įrodymas remiasi „nauja pagalbine dalinių išvestinių lygtimi“. Ekspertas patarė išleisti neapdorotus duomenis, todėl „OpenAI“ įkėlė modelio aprašymą ir „Lean“ įrodymą į „GitHub“, kaip ir spalio 6 d. išleidimo metu.openai.com+1

Kompiuterių mokslo rezultatas aprašo deterministinį algoritmą, kuris skaičiuoja tenkinančius fiksuoto pločio CNF formulių priskyrimus subeksponentiniu laiku. Pritaikytas 3-SAT, tai paneigtų hipotezę, naudojamą šimtuose sudėtingumo įrodymų. Russellas Impagliazzo ir Ramamohanas Paturi iš UC San Diego, kurie pirmieji pasiūlė šią hipotezę, vadovaus peržiūrai kartu su Ryanu Williamsu iš MIT. Jie įspėjo, kad „mūsų dalyvavimas neturėtų būti laikomas teiginio sertifikavimu“. „OpenAI“ taip pat sutiko su jų prašymu finansuoti konferenciją apie tai, ką šis rezultatas reiškia šiai sričiai.thenextweb.com+1

Fizikos medžiaga buvo sulaikyta. Grupė, vadovaujama Nobelio premijos laureato Davido Grosso, kartu su Michaelu Douglasu, Arthuru Jaffe, Igoriu Klebanovu ir Nikita Nekrasovu, pasirinko pati aprašyti rezultatą. Darbe pateikiamas grynosios Yang-Mills teorijos egzistavimo įrodymas, kuris yra „Clay Millennium“ prizo uždavinio dalis.openai.com

Klausimai dėl globėjų modelio

„OpenAI“ teigia, kad globėjai nepasirašys neatskleidimo sutarčių ir jiems nebus mokama. Taip pat teigiama, kad bendrovė „nesiekia akademinio pripažinimo“ už savo modelių atradimus. Bendrovė pripažino, kad pirmųjų globėjų parinkimas „sukuria informacijos asimetriją“. Šis susitarimas papildo neseniai „OpenAI“ skirtą 5 milijonų dolerių įnašą „Simons“ fondui, kuris finansuos seminarus apie dirbtinio intelekto sukurtus rezultatus.openai.com

Ne visi pritaria šiam požiūriui. Likus dienai iki pranešimo, „OpenAI“ matematikos patarėjų grupė rekomendavo dirbtinio intelekto bendrovėms neperimti praktikos suteikti atrinktiems asmenims pirminę prieigą prie modelio rezultatų. Grupė nurodė nelygias galimybes, pasiskolintą reputaciją ir šališką atranką. „Gizmodo“ pažymėjo, kad „Lean“ patikra jau anksčiau kėlė problemų. Ankstesnio „OpenAI“ Navier-Stokes teiginio skaitytojai nerimavo, kad „Lean“ įrodymas patvirtino silpnesnį teiginį nei tas, kurį paskelbė bendrovė. „OpenAI“ naujus rankraščius apibūdina kaip „neapdorotus tyrimų duomenis“, kuriuos mokslo bendruomenė dar turi paversti supratimu.gizmodo.com+1