OpenAI segir Astra líkanið hafa leyst 10 stærðfræðigátur fyrir 2.000 dollara

OpenAI greindi frá því á laugardag að innra líkan fyrirtækisins, Astra, hafi skilað nýjum niðurstöðum í 10 vandamálum í stærðfræði og fræðilegri tölvunarfræði sem höfðu verið óleyst í að minnsta kosti áratug. Fyrirtækið birti vélstaðfestar sannanir með hverri fullyrðingu og greindi frá því að token-kostnaður hafi verið um 2.000 dollarar miðað við núverandi API-verð.forbes+1

Staðfestar sannanir á mörgum sviðum

Niðurstöðurnar spanna svið á borð við hárvíddar-kúluþéttingu, kóðunarfræði, dulkóðun, öfga-samsetningarfræði og skammta-leikjafræði. Helsta niðurstaðan er smíði á non-sofic hópi, spurning sem verið hefur óleyst síðan 1999, sem hrekur þá tilgátu að allir teljanlegir hópar séu sofic. Astra hrekur einnig stífleikatilgátu Connes frá 1980 og leysti þrjú vandamál úr safni Pauls Erdős, þar á meðal vandamál 183 um marglita Ramsey-tölur.newscientist+1

OpenAI birti 249 blaðsíðna handrit ásamt Lean 4 sönnunarvottorðum á GitHub undir Apache 2.0 leyfi. Fyrirtækið greinir frá því að engin skref í formgerðu sönnunum hafi verið ósönnuð. Lean-kjarninn skilar tvíundarniðurstöðu: sönnunin stenst eða hún stenst ekki, sem útilokar þörfina á að treysta á orð líkansins.siliconangle+1

Thomas Bloom, sem heldur utan um Erdős-vandamálasafnið, kallaði niðurstöðurnar „stórar fréttir“ og mat þær meira en Erdős-mótdæmið sem fyrra OpenAI-líkan framleiddi í maí. Abhishek Saha við Queen Mary háskólann í London sagði að hver sem er af þessum 10 lausnum „væri verulegt og áhrifamikið afrek“.newscientist+1

Gagnrýnendur hvetja til varúðar

Tilkynningin vakti harða gagnrýni. Gary Marcus, þekktur gagnrýnandi gervigreindar, lýsti útgáfunni sem „ótrúlegri en stórlega ýktri“ og hélt því fram að árangur í formlega staðfestanlegri stærðfræði yfirfærist ekki á svið þar sem staðfesting er erfiðari. Hann benti á að 2.000 dollara talan nái aðeins yfir vel heppnaðar tilraunir og útiloki laun stærðfræðinga og tölvunarfræðinga sem hjálpuðu til við undirbúning greinanna.garymarcus.substack

Francesco Fournier-Facio við Cambridge-háskóla efaðist um gagnsæi vinnunnar og hélt því fram að lausnin á soficity-vandamálinu byggist að miklu leyti á fyrri greinum eftir Andreas Thom og Gábor Kun frá 2016 og 2019. Upphafleg fullyrðing OpenAI um að engar framfarir hefðu orðið í 10 ára sögu vandamálanna var leiðrétt eftir að Fournier-Facio kvartaði yfir ónákvæmni.newscientist

Víðtækari áhrif

Astra er enn ekki komið út. OpenAI lýsir því sem líkanfjölskyldu sem hönnuð er til að samræma marga aðila í flóknum verkefnum. Sam Altman, forstjóri, hefur sýnt stjórnmálamönnum í Washington líkanið, en fyrirtækið hefur ekki tilkynnt útgáfudag eða hvort það verði gefið út sem GPT-6 eða önnur útgáfa.siliconangle

Tímasetningin kemur á sama tíma og stærðfræðisamfélagið bregst við gervigreindarfyrirtækjum. Í júní samþykkti Alþjóðastærðfræðisambandið Leiden-yfirlýsinguna, þar sem varað er við því að gervigreindarfyrirtæki „noti birtar rannsóknir án samþykkis, sniðgangi ritrýni og ógni heiðarleika sönnunar og höfundarverks“.siliconangle