OpenAI kynnir þrjár nýjar vísindalegar sannanir og leitar til utanaðkomandi sérfræðinga

OpenAI greindi frá því á mánudaginn, 26. október, að innri líkön fyrirtækisins hefðu skilað þremur nýjum niðurstöðum. Ein er sönnun á tilgátu um staðbundna sléttun í öllum víddum, sem myndi einnig leysa Kakeya og Stein takmörkunartilgáturnar. Önnur er hnekking á tilgátu um veldisvöxt tíma (Exponential Time Hypothesis) og sú þriðja er ströng tilvistarsönnun fyrir skammta-litfræði. Í stað þess að krefjast fræðilegrar viðurkenningar bauð fyrirtækið utanaðkomandi sérfræðingum að starfa sem leiðbeinendur og skipuleggja hópa sem munu yfirfara og útskýra verkið.theverge.com+1

Þrjár niðurstöður, þrjár útgáfuáætlanir

Stærðfræðikrafan byggir á tilgátu Christophers Sogge um staðbundna sléttun frá 1991. Stærðfræðingar sönnuðu hana í tveimur rúmvíddum árið 2019 og Kakeya-tilgátan var sönnuð í þremur víddum árið 2025. OpenAI segir sönnun sína byggja á nýrri hjálpar-hlutafleiðujöfnu. Sérfræðingur ráðlagði að birta hrá gögn, svo OpenAI setti líkanaskýrslu og Lean-sönnun á GitHub, líkt og gert var með útgáfu þeirra 6. október.openai.com+1

Tölvunarfræðiniðurstaðan lýsir reikniriti sem telur upp fullnægjandi úthlutanir á CNF-formúlum með fastri breidd á undanveldistíma. Ef þetta væri beitt á 3-SAT myndi það hrekja tilgátu sem notuð er í hundruðum sönnunarverkefna. Russell Impagliazzo og Ramamohan Paturi við UC San Diego, sem fyrstir settu fram tilgátuna, munu stýra yfirferðinni ásamt Ryan Williams frá MIT. Þeir vöruðu við því að þátttaka þeirra ætti ekki að teljast sem vottun á kröfunni. OpenAI samþykkti einnig beiðni þeirra um að fjármagna ráðstefnu um hvað niðurstaðan þýðir fyrir fræðigreinina.thenextweb.com+1

Eðlisfræðigögnunum var haldið eftir. Hópur undir forystu Nóbelsverðlaunahafans Davids Gross, ásamt Michael Douglas, Arthur Jaffe, Igor Klebanov og Nikita Nekrasov, valdi að skrifa sjálfur um niðurstöðuna. Verkið inniheldur tilvistarsönnun fyrir hreina Yang-Mills kenningu, sem er hluti af Clay Millennium-verðlaunavandamálunum.openai.com

Spurningar um leiðbeiningalíkanið

OpenAI segir að leiðbeinendur muni ekki skrifa undir trúnaðarsamninga og fái ekki greitt. Fyrirtækið segist ekki sækjast eftir fræðilegri viðurkenningu fyrir uppgötvanir líkana sinna. Fyrirtækið viðurkenndi að val á fyrstu leiðbeinendunum skapi ósamhverfu í upplýsingum. Fyrirkomulagið bætist við nýlegt 5 milljóna dollara framlag OpenAI til Simons Foundation, sem mun fjármagna vinnustofur um niðurstöður sem gervigreind hefur framleitt.openai.com

Ekki eru allir sammála þessari nálgun. Degi fyrir tilkynninguna mælti stærðfræðiráðgjafanefnd OpenAI með því að gervigreindarfyrirtæki tækju ekki upp þá venju að veita völdum einstaklingum forgangsaðgang að niðurstöðum líkana. Nefndin nefndi ójafnan aðgang, lánstraust og hlutdrægt val. Gizmodo benti á að Lean-staðfesting hafi valdið vandræðum áður. Lesendur fyrri Navier-Stokes kröfu OpenAI höfðu áhyggjur af því að Lean-sönnunin hefði staðfest veikari fullyrðingu en þá sem fyrirtækið birti. OpenAI lýsir nýju handritunum sem hráum rannsóknargögnum sem vísindasamfélagið þurfi enn að breyta í skilning.gizmodo.com+1