Cum a ajutat GPT-5.6 Sol să infirme Conjectura lui Maxwell, veche de 150 de ani

Pune trei sarcini electrice egale în colțurile unui triunghi echilateral, iar câmpul rezultat va avea patru puncte de echilibru, unde toate împingerile și tragerile se anulează: unul în centru și trei ascunse chiar în interiorul muchiilor. Acum adaugă două sarcini foarte mici chiar deasupra și chiar dedesubtul acelui centru. Punctul central de echilibru se sparge în douăzeci și unu, iar întreaga configurație sare la douăzeci și patru.

Acea construcție a apărut pe arXiv pe 29 iulie ca un contraexemplu la conjectura lui Maxwell, o limită pentru punctele de echilibru electrostatic urmărită până la tratatul lui Maxwell din 1873. Autorii au dezvăluit, de asemenea, că ideea a venit de la un model lingvistic mare. Mai jos, voi acoperi ce susținea conjectura, cum funcționează contraexemplul, ce a făcut și ce nu a făcut GPT-5.6 Sol și de ce dezvăluirea este, probabil, jumătatea mai interesantă a poveștii.

Răspunsul rapid: cum a căzut Conjectura lui Maxwell

Conjectura stabilea un plafon pentru câte puncte de echilibru poate avea câmpul a n sarcini punctiforme: cel mult (n−1)^². Pentru cinci sarcini, asta înseamnă 16. Philip Arathoon, Gavin Ball și Matthew Kvalheim au construit o configurație cu cinci sarcini cu cel puțin 24, un contraexemplu direct. GPT-5.6 Sol a sugerat ideea geometrică; cei trei autori au făcut analiza, au rulat algebrele pe calculator și au scris demonstrația.

Cu acel rezumat în mână, hai să vedem de unde a venit conjectura și de ce a rezistat atât de mult.

Ce a fost Conjectura lui Maxwell?

James Clerk Maxwell a ridicat întrebarea într-un scurt pasaj din Treatise on Electricity and Magnetism din 1873, întrebând câte puncte de echilibru ar putea produce un sistem de sarcini. A rămas o remarcă trecătoare aproape un secol, până când Marston Morse și Stewart Cairns au pus aceeași problemă în 1969, aparent fără să știe că Maxwell ajunsese acolo primul. E un detaliu mic care îmi place mai mult decât ar trebui.

Formularea precisă despre care toată lumea discută acum a venit în 2007, când Andrei Gabrielov, Dmitry Novikov și Boris Shapiro au citit cu atenție pasajul lui Maxwell și l-au transformat într-o conjectură: dacă punctele de echilibru ale potențialului generat de n sarcini sunt toate non-degenerate, pot exista cel mult (n−1)^² dintre ele. Asta e singura formulă de care chiar ai nevoie, așa că, dacă algebra te încordează, ai trecut de partea cea mai grea. Limita se verifică trivial pentru două sarcini. Pentru trei, nimeni nu știe dacă patru este într-adevăr maximul, cu excepția cazului special în care toate cele trei sarcini sunt egale.

Ca să înțelegi de ce contează această limită, ajută să vezi ce sunt, de fapt, punctele de echilibru.

Înțelegerea Conjecturii lui Maxwell printr-un exemplu simplu

Fiecare sarcină creează un câmp. Pune mai multe sarcini într-o încăpere și câmpurile lor se suprapun, împingând și trăgând în direcții diferite în fiecare punct din spațiu. În anumite locuri, forțele de la fiecare sarcină se anulează exact, iar o particulă de test plasată acolo nu ar simți nicio forță rezultantă. Acestea sunt punctele de echilibru, numite și puncte critice ale potențialului electrostatic.

A le număra nu e un exercițiu de evidență. Numărul și aranjamentul acestor puncte constrâng forma întregului câmp, așa cum zonele plate ale unui lanț muntos constrâng cum poate fi dispus acel lanț. Așadar, o limită asupra numărului este, de fapt, o afirmație despre cât de complicat are voie să devină un câmp electrostatic, motiv pentru care o întrebare ridicată în treacăt în 1873 i-a ținut ocupați pe matematicieni un secol și jumătate.

Acum că avem o idee despre ce proteja conjectura, hai să parcurgem exact cum a fost răsturnată.

Cum a fost infirmată Conjectura lui Maxwell

Construcția e suficient de scurtă încât s-o descriem în patru pași. Dacă nu vrei calculele cu Hessiana, sari peste nota de pe arXiv; forma argumentului e partea interesantă:

• Plasează trei sarcini unitare în vârfurile unui triunghi echilateral. Acest câmp are patru echilibre: unul în centru, trei deplasate spre interior de-a lungul muchiilor.
• Adaugă două sarcini mult mai mici pe axa de simetrie, una ușor deasupra planului și una ușor dedesubt, formând o bipiramidă triunghiulară puțin adâncă.
• Cele trei echilibre de pe muchii supraviețuiesc adăugării. Cel central nu. El se bifurcă într-o familie de 21 de echilibre, 10 cu un anumit indice Morse și 11 cu celălalt.
• Trei plus douăzeci și unu dau cel puțin 24 de puncte critice non-degenerate din cinci sarcini, în fața unui plafon prezis de 16.

Intensitățile sarcinilor nu sunt la întâmplare. Autorii aleg o valoare specifică, reglată astfel încât termenul principal al potențialului sarcinilor mici să-l anuleze pe cel corespunzător din triunghi, iar asta scoate la iveală structura mai fină care produce cele 21 de puncte. Mai e și un pas ușor de ratat la prima lectură: argumentul de până acum nu exclude puncte critice degenerte aflate în altă parte a configurației, așa că autorii aplică un argument de transversalitate la un set ușor perturbat de intensități ale sarcinilor, ceea ce le curăță.

Apoi urmează partea pe care titlurile au omis-o. Același truc poate fi iterat. Adaugă încă o pereche de sarcini mici și câștigi încă 20 de puncte critice pentru costul a încă 2 sarcini, obținând configurații de 3 + 2m sarcini cu cel puțin 4 + 20m echilibre. Asta înseamnă, asimptotic, 10 puncte critice pe sarcină, față de 25/7 atinse de Herbert Edelsbrunner, Christopher Fillmore și Gonçalo Oliveira mai devreme în acest an. Contraexemplul e titlul; raportul este rezultatul pe care alții îl vor duce mai departe.

Cu construcția în sine clară, iată unde povestea devine puțin neobișnuită: cine, sau ce, a venit de fapt cu ideea.

Ce rol a avut GPT-5.6 Sol?

Dezvăluirea stă într-o scurtă secțiune a lucrării și este surprinzător de clară cu privire la ce s-a întâmplat: "Ideea din spatele acestei construcții a fost sugerată de un LLM (GPT-5.6 Sol de la OpenAI)." Autorii adaugă că au verificat ei înșiși matematica și au scris argumentul cu propriile cuvinte, iar Mathematica și Maple au gestionat calculele și figurile.

Așadar, modelul a contribuit cu o strategie: perturbi o configurație simetrică cu sarcini mici, în afara axei, și urmărești cum un punct degenerat se desface, iar autorii au transformat asta în dezvoltări Taylor ale polinoamelor armonice, o clasificare a 21 de puncte critice după semnătura Hessienei, trei aplicații ale teoremei funcției implicite și un argument de transversalitate. A genera o idee și a demonstra un teoremă sunt activități diferite, cu moduri de eșec diferite. O idee care nu funcționează te costă o după-amiază. O demonstrație care nu funcționează te costă o retragere. Modelul a arătat spre un loc improbabil pe hartă; trei matematicieni au construit drumul.

Merită, totuși, să insistăm pe această încadrare. "Doar o idee" subestimează lucrurile. Oricine poate propune perturbarea unei configurații simetrice. Partea utilă este să propui acea perturbare, cu sarcini mici axiale, pe acea configurație de bază, într-o problemă în care spațiul de căutare al lucrurilor de încercat este practic nelimitat. Gustul pentru ce să încerci este o mare parte din matematica de cercetare. Faptul că sugestia a venit de la un model și nu dintr-un deceniu de intuiție al unui specialist este miezul poveștii.

De ce contează acest rezultat

O întrebare matematică veche de 150 de ani

Întrebarea se întoarce la remarca lui Maxwell din 1873, de unde vine "150 de ani" din fiecare titlu. Merită să fim preciși, totuși: Maxwell a pus o întrebare și a făcut o observație. El nu a formulat conjectura care tocmai a căzut.

O conjectură modernă de lungă durată cade

Ca afirmație formală, conjectura lui Maxwell are 19 ani, iar pentru cea mai mare parte a acestui timp a fost presupunerea organizatoare a domeniului, lucrul pe care încercai să-l demonstrezi și ținta spre care tindea orice limită îmbunătățită. Acum pare să fie falsă. Contraexemplul este un preprint de patru pagini pe arXiv care încă nu a trecut prin peer review, iar pasul său central este o clasificare cu Hessiana verificată cu algebră pe calculator, deci se aplică obișnuitele rezerve. Dar argumentul este scurt, explicit și ușor de verificat de alții.

Întrebări noi le înlocuiesc pe cele vechi

A ști că plafonul nu este (n−1)^² nu ne spune care este. Construcția iterată a autorilor împinge limita inferioară cunoscută la aproximativ 10 puncte critice pe sarcină, ceea ce este un prag, nu un răspuns. Iar acele trei sarcini de mai devreme? Dacă pot produce vreodată mai mult de patru echilibre este încă deschis, ceea ce e ciudat să mai spui despre cel mai mic caz interesant după atâta timp.

Rolul tot mai mare al AI în descoperirile matematice

Ceva s-a schimbat în ultimul an. Între octombrie 2025 și începutul lui 2026, instrumentele AI au ajutat la mutarea a aproximativ o sută de probleme din baza de date a problemelor lui Erdős în coloana de rezolvate, iar Terence Tao a menținut o pagină actualizată care urmărise acele contribuții până când a încetat să mai fie actualizată la sfârșitul lui iunie 2026. O mare parte a fost căutare în literatură — modelul găsește articolul din 1974 care deja rezolvase problema. Unele nu au fost. Câteva soluții au fost argumente originale asamblate în mare parte de model, iar Tao a semnalat cel puțin una ca atingând un adevărat reper.

Modelul recurent în aceste cazuri este consecvent și se potrivește cu ce s-a întâmplat cu conjectura lui Maxwell. Modelele sunt bune la a propune candidați, la a scana o literatură pe care niciun individ nu o poate ține în cap și la a căuta, peste noapte, într-un spațiu de construcții, fără să se plictisească. Verificarea rămâne la oameni și la asistenți de demonstrație precum Lean. Dacă vrei fundamentele conceptuale despre cum funcționează aceste sisteme înainte să-ți formezi o opinie, parcursul AI Fundamentals este un loc bun de început.

Ar putea AI să descopere în cele din urmă demonstrații matematice?

Generarea de conjecturi este deja rutină. Asistența la demonstrații este suficient de comună încât descrierea ei nu mai e remarcabilă. Demonstrările formale de teoreme — un model care produce un argument complet, verificat de mașină, pentru o problemă la nivel de cercetare fără om în buclă — reprezintă granița acum, și există rezultate de ambele părți ale ei, în funcție de cât de strict definești „nivel de cercetare”.

Constrângerea nu este în mod evident creativitatea. Modelele actuale încă inventează referințe, încă pierd firul pe lanțuri lungi de raționament și sunt încă mult mai bune la a genera candidați decât la a ști care candidat este corect. Acea ultimă asimetrie este exact motivul pentru care verificarea umană este structurală, nu ceremonială. Un model care și-ar putea evalua în mod fiabil propriul output ar fi un alt fel de sistem decât ceea ce avem, iar nimeni nu poate spune acum cât de departe este asta.

GPT-5.6 Sol și viitorul cercetării științifice

Matematica este un caz de test neobișnuit de curat, pentru că demonstrațiile sunt fie corecte, fie greșite. Dar aceeași dinamică — AI accelerează faza de generare a ideilor, în timp ce oamenii păstrează verificarea — se desfășoară în toate disciplinele.

Asta merge mult dincolo de matematică. Fizica, chimia, știința materialelor și ingineria împărtășesc același blocaj: generarea de ipoteze este costisitoare în timp uman, iar majoritatea ipotezelor eșuează. Un cercetător poate urmări serios o mână de structuri sau mecanisme candidate într-un an. Spațiul candidaților este mult mai mare de atât.

Generarea de idei s-ar putea dovedi a fi capacitatea de cercetare care contează cel mai mult, tocmai pentru că este pasul în care debitul uman este cel mai scăzut, iar costul unei ghiciri greșite este cel mai mic. Un model care poate scana un spațiu enorm și poate spune „uite aici” schimbă viteza descoperirii fără să fie nevoie să aibă dreptate foarte des. Ceea ce este, în linii mari, ce s-a întâmplat aici.

Concepții greșite frecvente despre această descoperire

Înainte de a trage concluzii mai largi, merită să lămurim câteva lucruri pe care acoperirea le-a înțeles greșit.

GPT-5.6 Sol nu a demonstrat independent teorema

Modelul a sugerat construcția geometrică. Demonstrația, dezvoltările, clasificarea cu Hessiana, argumentul de transversalitate au fost munca autorilor.

Cercetătorii umani au verificat fiecare pas

Mathematica și Maple au verificat calculele și au produs figurile. Verificarea matematică a fost făcută de cei trei autori, iar ei spun asta explicit în lucrare.

Conjectura lui Maxwell nu a fost teorema formală a lui Maxwell

Maxwell a făcut o observație în 1873. Gabrielov, Novikov și Shapiro au formulat conjectura în 2007 pe baza lecturii acelui pasaj.

Problema matematică nu este complet rezolvată

Presupunând că contraexemplul rezistă, știm că (n−1)^² este greșit. Nu știm care este limita corectă, iar cazul cu trei sarcini rămâne deschis.

Concluzie

Conjectura lui Maxwell a căzut în urma unei colaborări: o idee geometrică generată de AI și trei matematicieni care au depus efortul de a o transforma în ceva verificabil. Lucrarea este neobișnuit de onestă cu privire la ce jumătate a făcut ce. O secțiune de dezvăluire de trei propoziții care probabil va fi citată mai mult decât teorema.

Ce face ca asta să merite atenția ta este forma contribuției, nu mărimea ei. Un model fără miză în problemă a propus o construcție pe care oamenii cărora le păsa cel mai mult de ea nu o încercaseră pe această configurație, iar ea s-a dovedit că funcționează. Întrebarea mai amplă despre câte echilibre pot avea n sarcini este încă deschisă, la fel și întrebarea despre cum arată cercetarea atunci când generarea de idei încetează să mai fie resursa rară. Dacă vrei să urmărești cum sunt aplicate în practică aceste sisteme, și nu cum sunt marketate, cursurile noastre de AI acoperă totul, de la concepte la implementare.