Un clinician autodidact și o sesiune de inteligență artificială de 16 ore au rezolvat una dintre problemele deschise ale matematicii aplicate
Pe scurt
Un neurochirurg din Beijing a folosit GPT-5.6 pentru a demonstra o conjectură matematică veche de 20 de ani, semnalând o schimbare în ceea ce privește cine poate produce - și verifica - cercetarea.
Shanmu Jin, cercetător postdoctoral și rezident în neurochirurgie la Spitalul Colegiului Medical al Uniunii Peking din Beijing, a demonstrat Conjectura lui Crouzeix - o problemă în analiza matriceală care a rămas deschisă timp de peste două decenii. Argumentul decisiv nu a apărut dintr-un departament de matematică: a ieșit la suprafață în timpul unei perioade autonome de 16 ore de... GPT-5.6 Sol în interior ChatGPT Mod de lucru, ghidat de o solicitare atent concepută, concepută chiar de Jin.
Jin a abordat problema printr-o cale neliniară. Studiile sale universitare de geologie au fost efectuate la nivel de licență; ulterior, a obținut o diplomă în medicină și și-a dezvoltat cunoștințele matematice prin studiu individual, motivat inițial de cercetări privind ecografia transcraniană. Conjectura lui Crouzeix, formulată în 2004, se referă la relația dintre norma spectrală a unei matrice și maximul unui polinom pe intervalul său numeric - o regiune convexă compactă a planului complex care surprinde mai mult din comportamentul unei matrice decât valorile sale proprii. Rezoluția sa are aplicații directe în analiza funcțiilor matriceale, în rezolvarea iterativă a problemelor, cum ar fi GMRES, și în metodele raționale Krylov.
În loc să solicite modelul interactiv, Jin a rulat o sesiune autonomă extinsă folosind o arhitectură de solicitări adaptată de la una OpenAI dezvoltat pentru un rezultat matematic anterior, conjectura Cycle Double Cover. Configurația a împiedicat modelul să acceseze internetul. A implementat subagenți concurenți însărcinați cu dezvoltarea și testarea independentă a diferitelor strategii de demonstrare, cu instrucțiuni explicite împotriva convergenței premature și cu cerința de a falsifica argumentele candidatelor doar prin contraexemple concrete. Modelul a fost instruit să continue până când o demonstrație completă a supraviețuit revizuirii interne contradictorii. Preprint-ul rezultat, publicat pe 27 iulie 2026, include promptul complet, manuscrise în schițe succesive, o formalizare Lean și un audit al axiomelor.
Confirmarea colegială și întrebarea cine face matematică acum
Demonstrația a fost revizuită și confirmată de matematicianul Alex Townsend de la Cornell, de analista numerică Anne Greenbaum și de Michel Crouzeix însuși - autorul original al conjecturii. Evaluarea inter pares formală este în curs de desfășurare. La opt zile după apariția preprint-ului inițial, matematicienii Emiel Lorist și Felix Schwenninger au publicat o demonstrație independentă de cinci pagini folosind o metodă diferită, combinând teoria clasică a potențialului cu strat dublu cu o lemă de perturbație pentru 2-dilatații. Jin a salutat rezultatul paralel ca o completare a propriei sale lucrări.
Episodul face vizibilă o schimbare structurală în cercetarea matematică, dificil de ignorat. Atunci când o problemă deschisă din 2004 este rezolvată de un clinician autodidact folosind un instrument de inteligență artificială pentru consumatori, barierele în calea producerii de noi rezultate scad substanțial - în timp ce expertiza necesară pentru verificarea acestor rezultate devine, în mod corespunzător, mai concentrată și mai valoroasă.
Pentru domeniul inteligenței artificiale, cazul oferă o demonstrație concretă a ceea ce pot realiza modelele lingvistice de frontieră atunci când li se oferă sarcini autonome bine structurate și un timp de calcul suficient. Rămâne o întrebare deschisă dacă comunitatea matematică are infrastructura necesară pentru a absorbi volumul de rezultate care ar putea urma.
Declinare a responsabilităţii
În conformitate cu Ghidurile proiectului Trust, vă rugăm să rețineți că informațiile furnizate pe această pagină nu sunt destinate și nu trebuie interpretate ca fiind consiliere juridică, fiscală, investițională, financiară sau orice altă formă de consiliere. Este important să investești doar ceea ce îți poți permite să pierzi și să cauți sfaturi financiare independente dacă ai îndoieli. Pentru informații suplimentare, vă sugerăm să consultați termenii și condițiile, precum și paginile de ajutor și asistență furnizate de emitent sau agent de publicitate. MetaversePost se angajează să raporteze corecte, imparțial, dar condițiile de piață pot fi modificate fără notificare.
Despre autor
Alisa, o jurnalistă dedicată la MPost, specializată în criptomonede, inteligență artificială, investiții și domeniul vast al Web3. Cu un ochi aprofundat pentru tendințele și tehnologiile emergente, ea oferă o acoperire cuprinzătoare pentru a informa și a implica cititorii în peisajul în continuă evoluție al finanțelor digitale.
Mai multe articole
Alisa, o jurnalistă dedicată la MPost, specializată în criptomonede, inteligență artificială, investiții și domeniul vast al Web3. Cu un ochi aprofundat pentru tendințele și tehnologiile emergente, ea oferă o acoperire cuprinzătoare pentru a informa și a implica cititorii în peisajul în continuă evoluție al finanțelor digitale.
