OpenAI ja Anthropic väittävät kumonneensa tietojenkäsittelytieteen teorian

OpenAI ilmoitti maanantaina 26. lokakuuta, että sen sisäiset tekoälymallit olivat tuottaneet kolme tulosta. Ensimmäinen on todistus paikallisesta tasoituskonjektuurista kaikissa ulottuvuuksissa. Toinen on eksponentiaalisen ajan hypoteesin (ETH) kumoaminen. Kolmas on tiukka olemassaolotodistus vuorovaikutteisille kvanttikenttäteorioille, mukaan lukien kvanttiväridynamiikka (QCD), yrityksen ilmoituksen mukaan. OpenAI kuvaili käsikirjoituksia "eräänlaiseksi raakatutkimusdataksi". Se pyysi ulkopuolisia asiantuntijoita toimimaan tulosten "paimenina", ja jokainen ala käyttää erilaista julkaisutapaa. Scientific American raportoi, että asiantuntijat ovat "edelleen järkyttyneitä", mutta julkaisu on jo herättänyt kiistaa. Tunteja ilmoituksen jälkeen Anthropic julkaisi oman kumoamisensa ETH:lle.openai.com+1

Kolme väitettä, kolme julkaisusuunnitelmaa

Matematiikassa Christopher Sogge ehdotti paikallista tasoituskonjektuuria vuonna 1991. OpenAI sanoo, että sen todistaminen kaikissa ulottuvuuksissa ratkaisee myös Kakeyan ja Steinin rajoituskonjektuurit kaikissa ulottuvuuksissa. Yritys on julkaissut mallin selostuksen ja muodollisen Lean-todistuksen GitHubissa, OpenAI kertoi. Rochesterin yliopiston matemaatikko Alex Iosevich kertoi Al Jazeeralle, että uutinen oli "shokki aluksi". Hän kutsui sitä "historialliseksi kehitykseksi".aljazeera.com+1

ETH:n osalta OpenAI sanoo, että sen järjestelmä löysi kumoamisen 16. lokakuuta, ja tulos formalisoitiin Leanilla 17. lokakuuta. UC San Diegon Russell Impagliazzo ja Ramamohan Paturi, jotka ehdottivat hypoteesia ensimmäisenä, johtavat tarkastelua MIT:n Ryan Williamsin kanssa. OpenAI on myös sitoutunut rahoittamaan tulosta käsittelevän konferenssin, yritys kertoi. Todistus tarjoaa 3-SAT-algoritmin, joka toimii hieman nopeammin kuin eksponentiaalinen aika. Se ei välttämättä ratkaise P vastaan NP -ongelmaa, Scientific American huomautti.openai.com+1

Fysiikan tulos kattaa Yangin–Millsin Millennium-palkinto-ongelman olemassaolo-osan, mutta ei massaväliä. Nobel-palkitun David Grossin johtama ryhmä on päättänyt pitää tekoälyn tuottamat materiaalit hallussaan, kunnes se kirjoittaa työn itse, OpenAI:n mukaan.openai.com

Kiista ja kilpaileva todistus

Scientific Americanin mukaan julkaisu on vastoin matematiikan ja tekoälyn neuvoa-antavan ryhmän (AGMAI) suosituksia, joka on OpenAI:n itsensä organisoima asiantuntijapaneeli. Malli on edelleen omisteinen, eikä sen kehotteita tai päättelyketjun tuloksia ole julkaistu. AGMAI on vaatinut Yangin–Millsin paperin julkaisemista sanoen, että "ei ole tieteellistä syytä viivyttää julkaisua enempää". Samassa raportissa sanotaan, että Anthropicin työntekijä ja Northwesternin matemaatikko olivat työskennelleet saman Yangin–Millsin ongelman parissa julkisesti tekoälyn avulla.scientificamerican.com

Myöhään maanantaina Anthropic julkaisi "2^o(n) ajan algoritmi 3-SAT:lle" -paperin, joka on Clauden ansiota. Anthropicin tutkija Levent Alpöge sanoi, että sisäinen malli löysi ydin-algoritmin 16. lokakuuta "ilman ihmisen syötettä", OfficeChai raportoi. Kummankaan laboratorion väitettä ei ole vertaisarvioitu. Toistaiseksi hypoteesin omien kirjoittajien tehtäväksi jää päättää, pitääkö väitetty kumoaminen paikkansa.officechai.com