Revoluție în știință: un algoritm inteligent a descoperit soluția unei enigme matematice de 80 de ani
Un model de inteligență artificială dezvoltat de OpenAI a rezolvat o problemă matematică formulată în urmă cu aproape 80 de ani, considerată una dintre provocările importante din domeniul geometriei discrete. Rezultatul a fost verificat de matematicieni independenți, care au confirmat validitatea demonstrației, descriind realizarea drept un moment de referință pentru utilizarea inteligenței artificiale în cercetarea matematică.
Problema distanței unitare în plan, formulată pentru prima dată în 1946 de matematicianul maghiar Paul Erdős, pornește de la o întrebare aparent simplă: care este numărul maxim de perechi de puncte care pot exista la o distanță de exact o unitate într-un plan bidimensional? Erdős susținea că acest număr crește puțin mai repede decât numărul total de puncte. Cea mai bună limită superioară obținută de matematicieni pentru această problemă a fost stabilită în 1984.
Săptămâna trecută, OpenAI a anunțat că un model AI intern a găsit o serie de configurații care depășesc limita stabilită de Erdős. Reprezentanții companiei au declarat: „Această demonstrație reprezintă un reper important pentru comunitățile de matematică și AI. Este pentru prima dată când o problemă deschisă importantă, aflată în centrul unui subdomeniu matematic, a fost rezolvată autonom de AI.”
Cercetătorii OpenAI au explicat că modelul a folosit o abordare complet nouă pentru a înlocui o teorie de lucru asociată în mod tradițional cu problema distanței unitare în plan. „Aceste idei erau bine cunoscute de teoreticienii numerelor algebrice, însă a fost o surpriză majoră faptul că ele au implicații pentru probleme geometrice”, au adăugat aceștia.
OpenAI subliniază că acest rezultat este primul caz în care un sistem AI rezolvă autonom o problemă deschisă dintr-un domeniu de cercetare. Totuși, compania a menționat că tehnologia este menită să sprijine munca matematicienilor, nu să îi înlocuiască. Rezultatele au fost verificate de matematicieni independenți, care au redactat o lucrare separată pentru a explica contextul și modul în care AI a ajuns la concluzii.
„Deși demonstrația originală produsă de AI era complet validă, ea a fost îmbunătățită semnificativ de cercetătorii umani de la OpenAI și de numeroșii matematicieni implicați în această lucrare”, a afirmat Thomas Bloom, matematician la University of Manchester. „Omul joacă în continuare un rol esențial în discutarea, înțelegerea și îmbunătățirea acestei demonstrații, precum și în explorarea consecințelor sale.”
Tim Gowers, profesor de matematică la University of Cambridge, a declarat: „Nu există nicio îndoială că soluția problemei distanței unitare reprezintă un moment de referință pentru matematica realizată cu ajutorul AI. Dacă lucrarea ar fi fost scrisă de un om și trimisă la Annals of Mathematics, aș fi recomandat acceptarea fără nicio ezitare.”
OpenAI consideră că rezultatul depășește importanța problemei matematice în sine și demonstrează că inteligența artificială poate fi folosită tot mai mult în cercetarea de frontieră. Rămâne de văzut dacă această promisiune se va confirma pe termen lung. În octombrie anul trecut, reprezentanți ai OpenAI au susținut că GPT-5 ar fi rezolvat zece probleme matematice nerezolvate identificate de Erdős, însă ulterior, afirmația a fost retrasă, după ce experți au arătat că problemele respective fuseseră deja rezolvate de matematicieni umani.
