OpenAI julkisti kolme uutta tieteellistä todistusta ja pyysi ulkopuolisia arvioijia

OpenAI ilmoitti maanantaina 26. lokakuuta, että sen sisäiset mallit ovat tuottaneet kolme uutta tulosta. Yksi on lokaalin tasoituksen konjektuurin todistus kaikissa ulottuvuuksissa, mikä ratkaisisi myös Kakeyan ja Steinin rajoituskonjektuurit. Toinen on eksponentiaalisen ajan hypoteesin kumoaminen, ja kolmas on tiukka olemassaolotodistus kvanttiväridynamiikalle. Akateemisen kunnian tavoittelun sijaan yritys kutsui ulkopuolisia asiantuntijoita toimimaan ohjaajina ja organisoimaan ryhmiä, jotka tarkistavat ja selittävät työntheverge.com+1.

Kolme tulosta, kolme julkaisusuunnitelmaa

Matemaattinen väite perustuu Christopher Soggien vuoden 1991 lokaalin tasoituksen konjektuuriin. Matemaatikot todistivat sen kahdessa ulottuvuudessa vuonna 2019, ja Kakeyan konjektuuri todistettiin kolmessa ulottuvuudessa vuonna 2025. OpenAI:n mukaan todistus perustuu uuteen apu-osittaisdifferentiaaliyhtälöön. Asiantuntija suositteli raakadatan julkaisemista, joten OpenAI laittoi mallikuvauksen ja Lean-todistuksen GitHubiin, kuten se teki lokakuun 6. päivän julkaisun yhteydessäopenai.com+1.

Tietojenkäsittelytieteen tulos kuvaa determinististä algoritmia, joka laskee kiinteän leveyden CNF-kaavojen toteuttavat tehtävät subeksponentiaalisessa ajassa. 3-SAT-ongelmaan sovellettuna tämä kumoaisi satoja vaikeusasteen todistuksia käyttävän konjektuurin. UC San Diegon Russell Impagliazzo ja Ramamohan Paturi, jotka alun perin esittivät hypoteesin, johtavat arviointia yhdessä MIT:n Ryan Williamsin kanssa. He varoittivat, ettei heidän osallistumistaan tule pitää väitteen sertifiointina. OpenAI suostui myös heidän pyyntöönsä rahoittaa konferenssi siitä, mitä tulos tarkoittaa kyseiselle alallethenextweb.com+1.

Fysiikan materiaalit pidettiin julkisuudelta. Nobel-palkittu David Grossin johtama ryhmä, johon kuuluivat Michael Douglas, Arthur Jaffe, Igor Klebanov ja Nikita Nekrasov, päätti kirjoittaa tuloksen itse. Työ sisältää olemassaolotodistuksen puhtaalle Yang-Mills-teorialle, joka on osa Clay-instituutin Millennium-palkinto-ongelmiaopenai.com.

Kysymyksiä ohjaajamallista

OpenAI kertoo, etteivät ohjaajat allekirjoita salassapitosopimuksia eivätkä saa palkkiota. Yritys sanoo myös, ettei se tavoittele akateemista kunniaa malliensa löydöksistä. Yhtiö myönsi, että ensimmäisten ohjaajien valinta luo informaation epäsymmetriaa. Järjestely täydentää OpenAI:n äskettäistä 5 miljoonan dollarin lahjoitusta Simons Foundationille, joka rahoittaa tekoälyn tuottamia tuloksia käsitteleviä työpajojaopenai.com.

Kaikki eivät ole samaa mieltä lähestymistavasta. Päivää ennen ilmoitusta OpenAI:n oma matematiikan neuvonantajapaneeli suositteli, etteivät tekoäly-yhtiöt omaksuisi käytäntöä antaa valituille henkilöille etuoikeutettua pääsyä mallien tuotoksiin. Paneeli vetosi epätasa-arvoiseen pääsyyn, lainattuun maineeseen ja valikoivaan suosintaan. Gizmodo huomautti, että Lean-todentaminen on aiheuttanut ongelmia aiemminkin. OpenAI:n aiemman Navier-Stokes-väitteen lukijat olivat huolissaan siitä, että Lean-todistus oli todentanut heikomman väitteen kuin se, jonka yritys julkaisi. OpenAI kuvailee uusia käsikirjoituksia raa'aksi tutkimusdataksi, joka tiedeyhteisön on vielä muutettava ymmärrykseksigizmodo.com+1.