Revoluție în știință: un sistem inteligent a găsit 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ă o provocare importantă în 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, se bazează pe întrebarea: 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. Recent, OpenAI a anunțat că un model AI a găsit configurații care depășesc limita stabilită de Erdős.
„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”, au declarat reprezentanții companiei. 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.
OpenAI susține că acesta este primul caz în care un sistem AI rezolvă autonom o problemă deschisă dintr-un domeniu de cercetare. Totuși, compania a subliniat 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 declarat Thomas Bloom, matematician la Universitatea din Manchester.
Bloom a adăugat: „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 Universitatea din Cambridge, a afirmat: „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. Nicio demonstrație generată anterior de AI nu s-a apropiat de acest nivel.”
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. Anterior, reprezentanți ai OpenAI au susținut că GPT-5 ar fi rezolvat zece probleme matematice nerezolvate identificate de Erdős și ar fi făcut progrese în alte 11. Ulterior, un reprezentant a retractat afirmația, după ce experți au arătat că problemele respective fuseseră deja rezolvate de matematicieni umani.
