Nobelpristager og AI beviser årti-gammel fysik-gåde: a + b = 1

• En relation, b = (1 + c)/2, var allerede blevet bevist analytisk ud fra diffusions-drift-balancen i skala-ansatsen .
• Den anden relation, a + b = 1, var blevet observeret numerisk med vilkårlig præcision i over et årti, men et analytisk bevis var forblevet uopnåeligt .

Hvad beviset viste

Identiteten a + b = 1 udledes direkte fra fullRSB-ligningerne. Afgørende er, at denne relation medfører a = (1 - c)/2, hvilket – sammen med b = (1 + c)/2 – betyder, at alle tre eksponenter bestemmes af en enkelt parameter c . Dette reducerer fullRSB-løsningens forudsigelsesfrihedsgrader og styrker teoriens interne konsistens. Det giver uafhængigt også skala-relationerne α = 1/(2 + θ) og κ = 2 - 2/(3 + θ), som tidligere var forudsagt af Wyart og samarbejdspartneres argumenter om mekanisk marginal stabilitet .

Hvordan Anthropics Claude bidrog

Beviset blev ikke opnået gennem menneskelig indsigt alene. Artiklen udtrykker det klart: "Beviset blev opnået gennem interaktion med Claude (Sonnet 4.6 og Opus 4.7) og verificeret af os" .

Iteration og samarbejde

• Parisi og Zamponi engagerede sig i en længere dialog med Claude over cirka 40 samtalerunder .
• De brugte to Claude-modelversioner: Sonnet 4.6 og Opus 4.7 .
• Claude producerede ikke et færdigt poleret bevis i ét hug. I stedet udledte den iterativt næsten hele beviset gennem frem-og-tilbage-udvekslinger. Forfatterne gennemgik, rettede og verificerede derefter hvert trin .
• De fulde chat-logfiler er blevet arkiveret på Zenodo til offentlig inspektion .

Arbejdsdeling

• Claude genererede kandidatalgebraiske manipulationer, identificerede mønstre i fullRSB-ligningerne og udførte den tunge symbolske ræsonnering .
• Parisi og Zamponi leverede den konceptuelle ramme, validerede den matematiske korrekthed og sikrede, at beviset passede inden for den etablerede fysik . Preprintet bemærker, at Opus 4.7 i det væsentlige udledte beviset af sig selv med minimal overvågning fra forfatterne .

Offentliggørelse og betydning

Preprintet blev lagt på arXiv den 2. juni 2026 (opdateret 2. juli 2026) under titlen "A proof of an identity for the critical exponents of jamming" . Forfatterlisten er Giorgio Parisi og Francesco Zamponi; Claude anerkendes som det AI-værktøj, der blev brugt i metoden, snarere end som medforfatter.

Nyhedsdækning i medier som Il Fatto Quotidiano, Correio Braziliense, 36Kr og Digg har fremstillet dette som et skelsættende eksempel på en Nobelpristager, der bruger en stor sprogmodel som en ægte forskningssamarbejdspartner til at bryde et langvarigt teoretisk dødvande .

Hvorfor det er vigtigt

Resultatet lukker et årti-gammelt hul i fullRSB-teorien om jamming – et fundamentalt problem i fysikken af glas, granulære materialer og uordnede systemer. Det tjener også som en højtprofileret demonstration af, hvordan store sprogmodeller (LLM'er) kan bidrage til avanceret teoretisk fysik, ikke blot som assistenter, men som aktive deltagere i udledningen af ikke-trivielle matematiske beviser.