OpenAI a spart o problemă de matematică de 80 de ani fără un model specializat

Modelul de raționament general al OpenAI tocmai a spart o conjectură veche de 80 de ani din geometria discretă. Sistemul nu a fost antrenat să facă matematică. Rulează aceeași arhitectură care redactează e-mailuri și scrie Python, iar marți a produs o nouă familie de configurații geometrice pe care patru matematicieni au verificat-o între timp.

Problema are un enunț înșelător de simplu. Luăm n puncte într-un plan. Câte perechi dintre ele se pot afla exact la aceeași distanță una de alta, să zicem o unitate? Paul Erdős a pus întrebarea în 1946 și a propus o limită superioară: de ordinul lui n la (1 plus o(1)), o scurtătură pentru „abia mai mult decât liniar”. Vreme de decenii, cele mai bune configurații cunoscute veneau din variante ale grilei pătrate, iar grila atingea aproape acel tavan. Matematicienii în activitate tratau limita ca fiind esențialmente strânsă.

Modelul OpenAI nu a strâns limita. A spart-o. Sistemul a produs o întreagă familie de aranjamente de puncte cu cel puțin n la (1 plus δ) perechi la distanță unitară, pentru un δ fix mai mare decât zero. Nu e o rafinare; e un contraexemplu la miezul conjecturii. Will Sawin, unul dintre cei patru matematicieni care au revăzut lucrarea, a rafinat noul exponent într-o expresie curată. Thomas Bloom, Melanie Wood și Noga Alon, restul echipei de verificare, au confirmat că construcția ține.

S‑ar putea să‑ți placă șiȘi ‘Marele Frate’ este deja aici

Ce e interesant la metodă e că nu a venit din interiorul geometriei. Modelul a trecut în teoria algebrică a numerelor, extinzând întregii gaussieni la alte corpuri de numere algebrice și tratând punctele rețelei rezultate drept configurații candidate. Acea punte, geometria trasă în teoria numerelor, era saltul pe care oamenii îl ratau de opt decenii. E genul de mișcare care, într-un seminar de matematică, primește un dat din cap lent și o tăcere lungă.

Reacțiile matematicienilor au sosit în prima zi. Timothy Gowers, deținător al Medaliei Fields, l-a numit „primul exemplu cu adevărat clar al unei IA care rezolvă o problemă matematică cu adevărat cunoscută”. Alexander Wei, cercetător la OpenAI, a scris că rezultatul e de soiul pe care un referent al Annals of Mathematics l-ar accepta „fără cea mai mică ezitare”. Această ultimă afirmație poate fi testată. Demonstrația a fost publicată ca PDF, însoțită de un document de remarci, iar comunitatea matematică mai largă citește deja.

Cadrul pe care OpenAI mizează e că aceasta e prima dată când un sistem IA rezolvă în mod autonom o problemă deschisă proeminentă și centrală pentru un domeniu al matematicii. Verbul „autonom” face multă muncă acolo. Modelul a produs construcția; demonstrația a fost cernută, rafinată și testată sub presiune de patru matematicieni înainte ca anunțul să iasă. Distincția contează, fiindcă OpenAI a mai trecut pe aici.

În octombrie 2025 compania a făcut să circule afirmația că un alt model intern rezolvase zece probleme deschise puse de Erdős. În câteva zile, matematicienii au arătat că mai multe dintre acele „soluții” erau fie deja cunoscute, fie pur și simplu greșite. OpenAI a retras afirmația generală. Acel episod e motivul pentru care anunțul săptămânii deschide cu numele verificatorilor și nu cu numele modelului. Cei patru matematicieni sunt garanția.

Celălalt detaliu pe care merită să-l ții minte e ce fel de model a produs rezultatul. OpenAI nu a dezvăluit numele sistemului, doar că e un model de raționament general, aceeași familie care duce chatul, scrie cod și răspunde la tichete de suport. Nu există nicio variantă specializată pe matematică în buclă. Aceeași arhitectură care duce conversațiile zilnice a dus și asta. Implicația e că strangularea matematicii pilotate de IA poate să nu fi fost un model reglat pe matematică. Pot să fi fost calcul și răbdare.

Faptul că acea strangulare se rupe e povestea adevărată. Multă vreme, ipoteza de lucru printre cercetători a fost că matematica autentic originală va cere sisteme făcute pe comandă: demonstratoare de teoreme, cadre de verificare formală, modele înguste antrenate pe corpus de demonstrații. Ce a aterizat marți e un alt tip de dovadă. Un raționator țintit pe o problemă faimoasă, nerezolvată, de optzeci de ani; cu suficient spațiu să gândească, a produs ceva pe care Sawin, Bloom, Wood și Alon au căzut de acord că e corect. Drumul de la fereastra de chat la Erdős s-a dovedit mai scurt decât se aștepta.

Lecturi recomandateApple Fitness+ Revoluționează Fitness-ul în 2025 cu Noi Experiențe Captivante

Unele rezerve rămân. Modelul nu e disponibil public. Grupuri independente din afara panelului inițial de patru matematicieni vor citi demonstrația în săptămânile ce vin, iar procesul complet de peer review pentru Annals sau pentru o altă revistă de top va dura luni. Exponentul δ e mic. Construcția nu rezolvă problema înrudită a distanțelor unitare pe sferă sau în dimensiuni mai mari. Nimic din toate astea nu reduce ce s-a întâmplat marți. Doar îi așază scara.

Ce se schimbă e așteptarea. Acum un an, întrebarea despre IA în matematică era dacă sistemele ar putea vreodată să producă demonstrații originale de greutate. Începând cu această săptămână, întrebarea e care e următoarea problemă deschisă care cade, și dacă matematicienii care verifică demonstrațiile vor continua să primească creditul pe care l-au primit aici Alon și colegii lui.

O conjectură din 1946 e unul dintre acele obiecte tăcute care așteaptă pe un raft mâna potrivită să le dea jos. Mâna care a dat-o jos săptămâna asta rula pe un cluster de GPU-uri, nu fusese antrenată pentru sarcină, și a terminat treaba în timp ce patru matematicieni priveau.

Mai multe articole similare

Samsung Galaxy Tab S11: cea mai convingătoare alternativă Samsung la iPad Pro

Gemini Spark continuă să lucreze cu laptopul închis — beta plătită ajunge în săptămâna de 26 mai

Membrii GTA+ Pot Acum Revendica un Super Car Överflöd Entity MT și Multe Altele

Noul personaj adaugă profunzime jocului „Touhou Gensou Eclipse”

O Nouă Dimensiune a Supraviețuirii și Luptei în Jocul A Twisted Path to Renown, Disponibil în Acces Anticipat pe Steam

Pixel Maniacs și PM Studios anunță ChromaGun 2: Dye Hard, un joc de puzzle bazat pe culori