Nobelin fysiikan palkinnon voittaja ja tekoäly Claude ratkaisivat vuosikymmenen vanhan fysiikan ongelman

Yli vuosikymmenen ajan fyysikot tiesivät, että kaksi kriittistä eksponenttia pakkautumisteoriassa (jamming) – joita kutsutaan a ja b – näyttivät summautuvan ykköseksi. Numeerinen todistusaineisto oli ylivoimainen, mutta kukaan ei pystynyt todistamaan sitä analyyttisesti. Vuonna 2026 Nobelisti Giorgio Parisi ja Francesco Zamponi sulkivat tämän aukon – ei pelkästään ihmisälyn avulla, vaan yhteistyössä tekoälyn kanssa.

Tässä on, mitä he löysivät, miten Anthropicin Claude vaikutti, ja mitä todistus merkitsee epäjärjestelmällisten systeemien fysiikalle.

Tieteellinen löytö

Parisi ja Zamponi julkaisivat esipainoksen (arXiv:2606.03300), joka tarjoaa ensimmäisen analyyttisen todistuksen identiteetille a + b = 1 – relaation kahden kriittisen eksponentin välillä täydellisessä replikan symmetrian rikkomisen (fullRSB) teoriassa tiheiden amorfisten kovien pallojen pakkautumissiirtymästä (jamming) .

Taustaa konjektuurista

Yli vuosikymmen sitten kehitetyn fullRSB-ratkaisun (Charbonneau, Kurchan, Parisi, Urbani ja Zamponi, CKPUZ, 2014) puitteissa kolme kriittistä eksponenttia – a, b ja c – kuvaavat skaalauskäyttäytymistä lähellä pakkautumispistettä .

• Yksi relaatio, b = (1 + c)/2, oli jo todistettu analyyttisesti diffuusio-ajautumistaseesta skaalausansatsissa .
• Toinen relaatio, a + b = 1, oli havaittu numeerisesti mielivaltaisella tarkkuudella yli vuosikymmenen ajan, mutta analyyttinen todistus oli pysynyt vaikeasti tavoitettavana .

Mitä todistus paljasti

Identiteetti a + b = 1 johdetaan suoraan skaalaus-fullRSB-yhtälöistä. Oleellisesti tämä relaatio tarkoittaa, että a = (1 - c)/2, mikä – yhdessä b = (1 + c)/2 kanssa – tarkoittaa, että kaikki kolme eksponenttia määräytyvät yhdestä parametrista c . Tämä vähentää fullRSB-ratkaisun ennustavien vapausasteiden määrää ja vahvistaa teorian sisäistä johdonmukaisuutta. Se johtaa itsenäisesti myös skaalausrelaatioihin α = 1/(2 + θ) ja κ = 2 - 2/(3 + θ), jotka Wyart ja työtoverit olivat aiemmin ennustaneet mekaanisen marginaalisen stabiilisuuden argumenteilla .

Miten Anthropicin Claude vaikutti

Todistusta ei saavutettu pelkästään ihmisälyn avulla. Artikkelissa todetaan selvästi: "Todistus saavutettiin vuorovaikutuksessa Clauden (Sonnet 4.6 ja Opus 4.7) kanssa ja vahvistettiin meidän toimestamme" .

Iteraatio ja yhteistyö

• Parisi ja Zamponi kävivät pitkän keskustelun Clauden kanssa noin 40 keskustelukierroksen ajan .
• He käyttivät kahta Claude-malliversiota: Sonnet 4.6 ja Opus 4.7 .
• Claude ei tuottanut lopullista viimeisteltyä todistusta yhdellä kerralla. Sen sijaan se johti iteratiivisesti lähes koko todistuksen edestakaisten vaihtojen kautta. Kirjoittajat tarkistivat, korjasivat ja vahvistivat jokaisen vaiheen .
• Koko keskustelulokit on arkistoitu Zenodossa julkista tarkastelua varten .

Työnjako

• Claude tuotti ehdokkaita algebrallisille manipulaatioille, tunnisti kuvioita fullRSB-yhtälöistä ja suoritti raskaan symbolisen päättelyn .
• Parisi ja Zamponi tarjosivat käsitteellisen kehyksen, vahvistivat matemaattisen oikeellisuuden ja varmistivat, että todistus sopi vakiintuneeseen fysiikkaan . Esipainoksessa todetaan, että Opus 4.7 käytännössä johti todistuksen itse, minimaalisella valvonnalla kirjoittajilta .

Julkaisu ja merkitys

Esipainos julkaistiin arXiv-palvelussa 2. kesäkuuta 2026 (päivitetty 2. heinäkuuta 2026) otsikolla "A proof of an identity for the critical exponents of jamming" . Kirjoittajina ovat Giorgio Parisi ja Francesco Zamponi; Claude mainitaan metodologiassa käytettynä tekoälytyökaluna, ei toisena kirjoittajana.

Uutisointi muun muassa Il Fatto Quotidianossa, Correio Braziliense'ssä, 36Kr:ssä ja Diggissä on kuvannut tätä maamerkkinä esimerkkinä Nobelistin käyttämästä suurta kielimallia aidona tutkimuskumppanina pitkäaikaisen teoreettisen umpikujan murtamiseksi .

Miksi tämä on tärkeää

Tulos sulkee vuosikymmenen aukon fullRSB-teoriassa pakkautumisesta (jamming) – perustavanlaatuinen ongelma lasien, rakeisten materiaalien ja epäjärjestelmällisten systeemien fysiikassa. Se toimii myös korkean profiilin demonstraationa siitä, miten suuret kielimallit (LLM) voivat osallistua edistyneeseen teoreettiseen fysiikkaan, ei pelkästään avustajina vaan aktiivisina osallistujina ei-triviaalien matemaattisten todistusten johtamisessa.