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.

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.