GPT-5.6 auttaa kumoamaan Maxwellin konjektuurin – mutta ei sitä, jota kaikki luulivat

Heinäkuun 29. päivänä arXiviin ilmestyi lyhyt tiedonanto otsikolla 'Maxwellin konjektuuri on epätosi'. Seuraavana aamuna toinen kirjoittajista, Philip Aratun, kirjoitti sosiaalisessa mediassa, että konjektuuri on epätosi ja että tekoäly oli löytänyt vastaesimerkin, ja matemaatikot olivat vain välittäneet sen. Greg Brockman, OpenAI:n toimitusjohtaja, jakoi tämän, ja uutinen levisi. Monet kuitenkin ymmärsivät asian väärin ja luulivat sen liittyvän Maxwellin yhtälöihin, mikä johti kysymyksiin sähkömagnetismista. Varsinainen konjektuuri, jonka Gabrielov, Novikov ja Shapiro muotoilivat vuonna 2007, koskee n:n pistekuorman epädegeneroituvien tasapainopisteiden enimmäismäärää, jonka ehdotettiin olevan korkeintaan (n−1)². Vastaesimerkissä on kolme yksikkökuormaa tasasivuisen kolmion kärjissä (mikä antaa neljä tasapainopistettä) ja kaksi pientä kuormaa kohtisuoralla akselilla, mikä jakaa keskimmäisen tasapainopisteen 21:ksi uudeksi pisteeksi, jolloin kokonaismäärä on vähintään 24. Lisättyjen kuormien suuruuden täytyy skaalautua ε³:nä yksikäsitteisesti määrätyllä kertoimella. Esipainettu julkaisu antaa kielen mallille GPT-5.6 Sol tunnustuksen rakenteen idea ehdottamisesta, kun taas kirjoittajat varmistivat matematiikan, ja Mathematicaa ja Mapleä käytettiin tarkistuksiin. Merkityksestä on keskusteltu: jotkut kutsuvat sitä niche-aiheeksi, mutta se toimii testinä tekoälylle, ja se jättää todellisen kasvun kertaluvun tuntemattomaksi, kun aiemmat rajat olivat super-eksponentiaalisia. Tulos ei ole läpikäynyt vertaisarvioitua arviointia eikä formalisointia Leanissä, mutta se on alkeellinen ja toistettavissa, eikä kukaan ole julkisesti vastustanut sitä viiden päivän kuluessa.