PSI segir gervigreind frá Anthropic hafa sannað skammtafræðilega tilgátu

Physical Superintelligence (PSI), sprotafyrirtæki á sviði gervigreindar og eðlisfræði, greindi frá því föstudaginn 6. nóvember að rannsóknarkerfi sem fyrirtækið smíðaði hafi sannað Aaronson-Ambainis tilgátuna, sem er flókið vandamál í skammtafræði sem hefur verið óleyst síðan 2008, með því að nota óútgefin líkön frá Anthropic. Fyrirtækið segir að kerfið hafi skilað fullbúinni sönnun á þriðja degi keyrslu á eigin innviðum og að Lean-sönnunaraðstoðarmaðurinn hafi samþykkt hana. Niðurstaðan hefur ekki enn farið í gegnum ritrýni í vísindatímariti. Í bili er þetta fullyrðing fyrirtækisins, en greinin og vélræn sönnun eru opinberar svo utanaðkomandi sérfræðingar geti prófað þær.psi.inc

Hvað sönnunin felur í sér

Tilgátan spyr hvort skammtatölvur geti verið veldisvísislega hraðvirkari en venjulegar tölvur við úrvinnslu á handahófskenndum inntökum, sem innihalda nánast aldrei þau faldu mynstur sem reiknirit á borð við Shor-aðferðina nýta sér. Aaronson og Ambainis sýndu fram á að ef fullyrðing þeirra um takmarkaðar lágstigs-margliður stæðist, þá væri hraðauppörvun skammtatölva á handahófskenndum inntökum í mesta lagi margliðu-hraðauppörvun. Tilkynning PSI orðaði niðurstöðuna þannig: "skammtatölva getur ekki sparað veldisvísislega margar athuganir nema strengurinn hafi sjaldgæft mynstur". Setningin takmarkar hversu oft reiknirit les inntak sitt, ekki heildartíma útreikninga, sem skilur eftir svigrúm fyrir hagnýta kosti skammtatölva.thequantuminsider.com+1

Fyrsta sönnunin gaf veikari mörk. Eftir að PSI beindi kerfinu að tengdum óleystum vandamálum bætti það niðurstöðuna tvisvar og Lean samþykkti lokagerðina. Röksemdafærslan fylgir áætlun eftir Shachar Lovett og Jiapeng Zhang. Hún kemur í stað ójöfnu sem þeir höfðu skilið eftir sem tilgátu með nýrri ójöfnu, sem var sönnuð með því að para inntaksstillingar í gegnum ákveðu.psi.inc

Hlutverk manna og eftirlit

Starfsmaður PSI, David Turturean, smíðaði og keyrði kerfið, hvatti líkanið til að draga upp greinina og ber ábyrgð á réttmæti hennar. Ráðgjafarnir Jim Halverson og Phiala Shanahan yfirfóru sönnunina og gerðu athugasemdir við formgerðina. GitHub-síða verkefnisins segir að sönnunin, greinin og formgerðin hafi verið framleidd af gervigreindarlíkönum. Þar kemur einnig fram að Lean-setningarnar innihaldi engin fylliefni eða viðbótarfrumsendur og hafi verið endurskoðaðar af tveimur óháðum kjarnaútfærslum. Lesendur þurfa enn að staðfesta að formlega fullyrðingin passi við upprunalegu tilgátuna.github.com+1

Vísindamennirnir Guy Blanc, Jordan Docter, Carmen Strassle og Li-Yang Tan við Stanford leystu sérstakt tilvik í ágúst. Þeir hafa verið að lesa alla sönnunina og kölluðu hana í yfirlýsingu frá PSI "gríðarlega niðurstöðu" þar sem "allt er dregið saman á nokkuð töfrandi hátt".psi.inc

Ósvaraðar spurningar

PSI hefur ekki greint frá því hvaða líkan frá Anthropic var notað og Anthropic svaraði ekki beiðni um athugasemdir. Tilkynningin kemur í kjölfar fullyrðingar OpenAI í september um að fyrirtækið hefði leyst vandamál tengt Navier-Stokes jöfnunum, og hún bætir við umræðuna um hvað gervigreind þýðir fyrir starfsferil stærðfræðinga.businessinsider.com