Nóbelsverðlaunahafi og gervigreind leysa áratugagamla eðlisfræðisönnun

Stærðfræðileg tilgáta sem hefur valdið eðlisfræðingum heilabrotum í meira en tíu ár hefur verið sönnuð með ólíklegu samstarfi tveggja fræðilegra eðlisfræðinga og gervigreindarkerfis. Greinin, sem birtist 1. júlí í Journal of Statistical Mechanics: Theory and Experiment, skjalfestir hvernig Claude frá Anthropic stuðlaði að lykilinnsýn í sönnunina.eurekalert+1

Vandamál sem ekki vildi sleppa

Nóbelsverðlaunahafinn Giorgio Parisi og Francesco Zamponi, báðir við Sapienza-háskólann í Róm, auðkenndu fyrst þetta ruglingslega samband árið 2014. Þeir unnu að eðlisfræði „jamming“ — ferlinu þar sem vökvakennt agnakerfi verður skyndilega stíft á meðan það er enn óskipulagt — og tóku eftir því að tvær stærðfræðilegar breytur í líkani þeirra, táknaðar sem a og b, lögðust alltaf saman í einn í tölulegum útreikningum. Sambandið gaf til kynna að fræðilegur rammi þeirra og keppandi nálgun sem franski eðlisfræðingurinn Matthieu Wyart við EPFL í Lausanne þróaði sjálfstætt, leiddu til sömu eðlisfræðilögmála.miragenews+1

Þrátt fyrir að töluleg sönnunargögn væru yfirþyrmandi gat enginn formlega sannað hvers vegna jafngildið hélt. Rannsakendur eyddu árum í að leita að djúpri stærðfræðilegri uppbyggingu eða falinni samhverfu sem gæti útskýrt það, en sönnunin slapp frá þeim. Vandamálið hvarf að lokum úr huga flestra rannsakenda — en ekki úr huga Parisi. „Það truflaði hann virkilega að við hefðum aldrei tekist að sanna það,“ minntist Zamponi.eurekalert

„Í grundvallaratriðum rétt“ innsæi Claude

Þegar kynslóðar-gervigreindarlíkön komu fram sá Parisi tækifæri. Eðlisfræðingarnir völdu Claude vegna þess að það „virtist hafa nokkuð háþróaðri stærðfræðilega rökhugsun,“ að sögn Zamponi. Þeir byrjuðu á því að biðja líkanið um að endurskapa tölulega útreikninga sem hópurinn hafði þróað meira en áratug fyrr, til að prófa hversu langt það gæti gengið með raunverulegt stærðfræðilegt vandamál.eurekalert

Þegar Claude hafði tekist að endurskapa niðurstöðurnar fylgdi næsta spurning náttúrulega: geturðu sannað hvers vegna a+b er jafnt og einn? „Frekar fljótt kom Claude með upphaflega hugmynd sem var í grundvallaratriðum rétt,“ sagði Zamponi. Sönnunin innihélt villur og krafðist margra umferða af staðfestingu og endurskoðun höfunda, en undirliggjandi innsæi reyndist traust.miragenews+1

Auðmjúkt svar

Kannski var óvæntasti þátturinn ekki sá að gervigreind leysti það, heldur hvað lausnin leiddi í ljós. Eðlisfræðingarnir höfðu lengi ímyndað sér að sönnunin myndi afhjúpa nýja stærðfræðilega uppbyggingu. Í staðinn sagði Zamponi: „Svarið var beint fyrir framan okkur og við höfðum einfaldlega ekki séð það.“eurekalert

Verkið, sem unnið var í gegnum um 40 umræðulotur við Claude, táknar sjaldgæft skjalfest tilvik þar sem stórt tungumálalíkan stuðlar að ritrýndri eðlisfræðiniðurstöðu — og það eftir Nóbelsverðlaunahafa, engu að síður.facebook+1