Pe 20 mai 2026, un grup de cercetători a anunțat că un sistem de Inteligență Artificială (AI) a rezolvat o problemă matematică deschisă de aproape 80 de ani: celebra conjectură a distanței unitare formulată de Paul Erdős. Rezultatul a fost validat ulterior de experți și a stârnit interes nu doar datorită importanței sale, ci și prin faptul că demonstrația a fost obținută cu ajutorul unui sistem AI.
Conjectura în discuție încerca să stabilească numărul maxim de perechi de puncte aflate la aceeași distanță într-un plan. Deși majoritatea matematicienilor credeau că afirmația lui Erdős este corectă, sistemul AI a găsit un contraexemplu, demonstrând că aceasta era, de fapt, falsă.
Matematicianul Noga Alon, de la Universitatea Princeton, a subliniat că acest rezultat este unul dintre cele mai spectaculoase realizări ale AI în domeniul matematicii. El a remarcat că apar tot mai des demonstrații asistate de AI, ceea ce schimbă deja modul în care se desfășoară cercetarea în acest domeniu.
Provocările și criticile aduse AI-ului în matematică
Cu toate acestea, nu toți specialiștii privesc evoluția cu entuziasm. Thomas Chen, matematician la Universitatea Texas din Austin, a exprimat preocupări legate de utilizarea sistemelor AI, subliniind că acestea trebuie definite cu grijă. El consideră că modelele de tip „cutie neagră”, al căror mod de funcționare nu este pe deplin înțeles, ridică probleme pentru o disciplină bazată pe logică și transparență.
Cercetătorii explică faptul că AI-ul a reușit ceea ce oamenii au eșuat să facă, combinând rapid cunoștințe din domenii diferite ale matematicii și explorând ipoteze neobișnuite. Aceasta nu abandonează ideile doar pentru că par improbabile sau necesită mult timp de analiză.
Cu toate acestea, Inteligența Artificială nu este infailibilă. Poate interpreta greșit rezultate, cita lucrări inexistente sau genera demonstrații incorecte, motiv pentru care matematicienii subliniază importanța verificării atente a oricărui rezultat obținut.
Declarația de la Leiden și viitorul AI în matematică
Chen a făcut o distincție importantă între programele tradiționale folosite de decenii în matematică și modelele moderne de AI, care rămân opace chiar și pentru creatorii lor. Această lipsă de transparență a determinat peste 3.000 de matematicieni și oameni de știință să semneze recent Declarația de la Leiden, care avertizează că adoptarea fără spirit critic a Inteligenței Artificiale ar putea afecta valori fundamentale ale matematicii, precum claritatea, verificabilitatea și autonomia cercetării.
În ciuda acestor îngrijorări, atât Chen, cât și Alon cred că AI-ul va deveni inevitabil parte din activitatea matematicienilor. Provocarea constă nu în utilizarea acestor instrumente, ci în înțelegerea și controlul lor. Ei subliniază că matematica nu înseamnă doar demonstrarea unor teoreme, ci și formularea întrebărilor potrivite.
Inteligența Artificială rezolvă o problemă matematică veche de 80 de ani
Recent, Inteligența Artificială a reușit să rezolve o problemă matematică ce a persistat timp de opt decenii. Această realizare semnificativă subliniază capacitățile avansate ale tehnologiei moderne și impactul acesteia asupra domeniului matematic. Problema rezolvată de Inteligența Artificială este disponibilă pe site-ul OpenAI, unde pot fi găsite detalii suplimentare despre această descoperire.
