Sari la conținut
Observator Digital Observator Digital

Tech

OpenAI susține că o ipoteză fundamentală din informatică ar putea fi falsă

Modelele de inteligență artificială ale companiei au generat o demonstrație care ar putea infirma ipoteza Exponential Time Hypothesis.

· 3 min citire · Redacția Observator Digital

OpenAI susține că o ipoteză fundamentală din informatică ar putea fi falsă
Pexels License · original · licență

OpenAI a anunțat luni o serie de descoperiri care ar putea schimba înțelegerea unor concepte fundamentale din informatică și matematică. Compania susține că modelele sale de inteligență artificială au obținut rezultate importante în trei domenii distincte: analiza matematică, complexitatea algoritmilor și fizica cuantică. Această nouă etapă vine la doar câteva săptămâni după ce sute de rezultate matematice generate de AI au fost publicate, marcând o evoluție în capacitatea de calcul a acestor sisteme.

Cea mai semnificativă afirmație vizează Exponential Time Hypothesis (ETH), o ipoteză formulată în anii 1990 care este utilizată în sute de lucrări științifice. Această ipoteză presupune că anumite probleme de calcul sunt atât de complexe încât timpul necesar rezolvării lor crește extrem de rapid odată cu dimensiunea problemei. OpenAI susține că modelul său a construit o demonstrație care infirmă ETH, folosind un algoritm capabil să rezolve o categorie importantă de probleme într-un timp mai mic decât cel presupus anterior.

Ryan Williams, profesor la MIT, a fost selectat de OpenAI pentru a verifica acest rezultat care vizează Strong Exponential Time Hypothesis (SETH). Această versiune mai puternică a ipotezei afirmă că pentru problema SAT nu există un algoritm care să funcționeze mai rapid decât 2^n. Dacă demonstrația se confirmă, cercetătorii ar putea fi nevoiți să reevalueze limitele metodelor de calcul actuale și să caute algoritmi mult mai eficienți pentru probleme complexe.

În domeniul matematicii, OpenAI susține că a rezolvat o problemă formulată în 1991 de matematicianul Christopher Sogge privind propagarea undelor. Demonstrația oferită acoperă toate dimensiunile spațiale relevante și ar putea permite rezolvarea altor două conjecturi cunoscute, asociate problemelor Kakeya și Stein. Materialele au fost publicate pe GitHub, incluzând o formă verificabilă prin intermediul sistemului matematic Lean, pentru a permite comunității academice o analiză riguroasă a validității acestor rezultate.

Compania a prezentat și demonstrații privind existența matematică a unor teorii cuantice ale câmpurilor în patru dimensiuni, inclusiv cromodinamica cuantică. Lucrările includ un rezultat privind teoria Yang-Mills, însă OpenAI precizează că nu susține rezolvarea integrală a acestei probleme premiate de Clay Mathematics Institute. Materialele din fizică urmează să fie analizate de un grup de specialiști coordonat de fizicianul David Gross, laureat al Premiului Nobel, pentru a confirma semnificația descoperirilor.

OpenAI a adoptat o procedură de prezentare a rezultatelor bazată pe colaborarea cu grupuri de cercetători pentru a evita controversele de la începutul lunii octombrie. Compania a declarat că nu va revendica merite academice pentru descoperirile generate de modelele sale, lăsând recunoașterea pentru specialiștii care verifică și explică lucrările. Această abordare vizează asigurarea unei validări riguroase în cadrul comunității științifice internaționale înainte de confirmarea oficială a noilor ipoteze.

Surse

Sursa: Mediafax

Tot în Tech