CAT$872.87-1.40%

Un model intern OpenAI a infirmat o conjectură veche de decenii, sugerând că IA poate produce rezultate de cercetare verificabile, nu doar asistență. Potrivit OpenAI, sistemul a găsit o demonstrație care contrazice o presupunere centrală din geometria discretă legată de „problema distanței unitare” în plan, iar demonstrația a fost verificată de un grup de matematicieni externi, care au redactat și o lucrare „companion” pentru a explica argumentul și contextul.

Problema, formulată de Paul Erdős în 1946, întreabă câte perechi de puncte pot fi la distanța exact 1 dacă plasăm n puncte în plan. Deși ușor de enunțat, este notoriu de dificilă, iar timp de decenii a existat convingerea că aranjamentele de tip „grilă pătrată” sunt, în esență, aproape optime pentru a maximiza numărul de astfel de perechi.

Ce s-a schimbat: o îmbunătățire „polinomială” față de grila pătrată

OpenAI susține că modelul a produs o familie infinită de exemple care oferă o îmbunătățire polinomială față de construcțiile considerate anterior cele mai bune. În termeni tehnici, dacă notăm cu u(n) numărul maxim de perechi la distanță 1 dintre n puncte, noul rezultat arată că pentru infinit de multe valori ale lui n există configurații cu cel puțin:

• n^(1+δ) perechi la distanță 1, pentru un δ fix > 0.

Textul precizează că demonstrația inițială generată de IA nu oferă un δ explicit, însă o rafinare „în curs” atribuită profesorului Will Sawin (Princeton) arată că se poate lua δ = 0,014.

De ce contează pentru IA: nu e un sistem „specializat pe matematică”

Un element central al relatării este metoda: demonstrația ar fi venit de la „un nou model de raționament de uz general”, nu de la un sistem antrenat special pentru matematică, nici de la unul construit explicit pentru a căuta strategii de demonstrație sau țintit pe această problemă. OpenAI spune că a evaluat modelul pe o colecție de probleme asociate lui Erdős, iar în acest caz a rezultat o demonstrație care rezolvă problema deschisă (în sensul infirmării conjecturii).

Publicația numește rezultatul un „milestone” (prag) pentru comunitățile de matematică și IA, susținând că este prima dată când o problemă deschisă proeminentă, centrală unui subdomeniu, este rezolvată autonom de IA și trece verificarea experților.

Ce fel de idei au fost folosite: punte între geometrie și teoria algebrică a numerelor

Surpriza matematică, în versiunea OpenAI, vine din faptul că demonstrația aduce instrumente din teoria algebrică a numerelor (ramură care studiază, între altele, factorizarea în extensii ale numerelor întregi) într-o problemă geometrică „elementară”. Textul menționează explicit utilizarea unor concepte precum „turnuri infinite de corpuri de clasă” și teoria Golod–Șafarevich pentru a arăta că există corpurile de numere necesare construcției.

Verificare și interpretare: rolul matematicienilor externi

OpenAI afirmă că demonstrația a fost verificată de matematicieni externi, care au scris și o lucrare de însoțire. În material sunt incluse și evaluări ale semnificației: Tim Gowers (laureat al Medaliei Fields), în lucrarea companion, numește rezultatul „un prag în matematica IA”, iar Arul Shankar apreciază că astfel de modele pot avea „idei originale ingenioase” și le pot duce la capăt.

În aceeași notă, Thomas Bloom descrie impactul ca fiind „un da moderat” la întrebarea dacă demonstrația ne învață ceva nou despre problemă, argumentând că arată cât de mult pot spune construcțiile din teoria numerelor despre astfel de întrebări din geometria discretă și că profunzimea teoriei necesare ar putea orienta cercetări viitoare.

Ce urmează

Din perspectiva OpenAI, miza depășește cazul punctual: dacă un model poate menține coerent un argument lung, poate conecta domenii îndepărtate și poate produce rezultate care rezistă verificării, aceste abilități ar fi relevante și pentru alte științe (biologie, fizică, inginerie, medicină). În același timp, compania insistă că „judecata umană” rămâne esențială: oamenii aleg problemele, interpretează rezultatele și decid direcțiile de cercetare.