Gagnrýnendur segja fullyrðingar OpenAI um Astra stórlega ýktar

OpenAI tilkynnti þann 1. ágúst að óútgefin Astra líkanafjölskylda þeirra hefði leyst 10 langvarandi óleyst vandamál í stærðfræði og fræðilegri tölvunarfræði. Fyrirtækið birti 249 blaðsíðna handrit og fullgildar Lean 4 sönnunarvottanir á GitHub. Niðurstöðurnar spanna svið á borð við rúmfræði í mörgum víddum, kóðunarfræði, hópfræði, skammtafræðilega flækju og jaðar-samsetningarfræði, þar sem fyrirtækið greinir frá því að heildarkostnaður við útreikninga hafi verið um 2.000 dollarar miðað við GPT-5.6 Sol API verð.ndtv+2

Hvað Astra leysti

Samkvæmt bloggfærslu OpenAI náði Astra framförum í mörkum fyrir kúluþéttingu, villuleiðréttandi kóðum og smíði fyrsta ótvíræða non-sofic hópsins, sem hafði verið óleyst spurning síðan 1999. Líkanið sannaði einnig skammtafræðilega setningu um samhliða endurtekningu fyrir almenna tveggja leikmanna flækju leiki og skilaði niðurstöðum um rúmmálsgetgátu Ehrharts og stífleikagetgátu Connes. Þrjú önnur vandamál úr safni Pauls Erdős voru einnig leyst, samkvæmt fréttum Quartz.qz+2

OpenAI sagði að gervigreindin hefði búið til kjarna stærðfræðilegu röksemdanna, en rannsakendur síðan formfest hverja sönnun með Lean sönnunaraðstoðarmanninum. Fjöldi "sorry" í GitHub gagnageymslunni, sem gefur til kynna óstaðfest skref, er núll, sem þýðir að hvert rökrétt skref í öllum tíu sönnunum er vélstaðfest.qz

Gagnrýnendur láta til sín taka

Þrátt fyrir formlega staðfestingu hafa gagnrýnendur efast um hvort niðurstöðurnar tákni raunverulegt stökk í getu gervigreindar. Gary Marcus, þekktur gervigreindarrannsakandi, skrifaði að stærðfræðingur hjá Anthropic, Levent Alpöge, hafi getað endurtekið helming niðurstaðna OpenAI á sólarhring með Fable, líkani sem þegar var opinbert. Marcus hélt því fram að þetta veki efasemdir um hvort Astra sé sjálft byltingin eða hvort framfarirnar felist í því að bera kennsl á hvaða vandamál henti fyrir leit-og-staðfestingaraðferðir.garymarcus.substack

"OpenAI greinir ekki frá því hvaða vandamál þeir reyndu og mistókst með. Þeir hafa gefið okkur teljara án nefnara, sem er alltaf áhyggjuefni," skrifaði Marcus. Hann benti einnig á að OpenAI hafi ekki enn ákveðið hvort Astra verði kallað GPT-6 eða GPT-5.7, sem bendir til þess að stökkið gæti verið talið smávægilegt innan fyrirtækisins.garymarcus.substack

Samskiptablogg ACM birti greiningu þann 4. ágúst þar sem Astra var lýst sem "ótrúlegu en stórlega ýktu". Á sama tíma hefur Leiden-yfirlýsingin um gervigreind í stærðfræði, sem hundruð stærðfræðinga undirrituðu í júní 2026, vakið athygli á víðtækari áhyggjum af óáreiðanlegum sönnunum gervigreindar og höfundarrétti.analyticsinsight+1

Hvað tekur við

OpenAI hefur ekki tilkynnt útgáfudag fyrir Astra og líkanið þarf að standast alríkisúttekt á öryggi gervigreindar áður en það verður aðgengilegt notendum. Fyrirtækið viðurkenndi umræðuna og sagðist bera "djúpa virðingu og skilning fyrir þeim sem hafa áhyggjur af áhrifum þess" og hyggst birta aðferðafræði sína. OpenAI hleypti einnig nýlega af stokkunum ChatGPT fyrir fræðimenn, sem veitir 100.000 vísindamönnum ókeypis aðgang að nýjustu líkönum sínum.analyticsinsight+1

Stærðfræðingurinn Terence Tao, í fyrirlestri þann 26. júlí sem Marcus vitnaði í, dró skýr skil á milli þess að leysa afmörkuð óleyst vandamál, þar sem gervigreind virðist sterk, og þess að byggja upp stærðfræðikenningar, þar sem engar vísbendingar eru um getu gervigreindar enn sem komið er.garymarcus.substack