OpenAI susține că modelele sale interne au obținut progrese uriașe în fizică și matematică. E vorba despre trei rezultate importante, de la comportamentul undelor până la dificultatea unor probleme de calcul și fundamentele fizicii particulelor. Anunțul din 26 octombrie vine după publicarea unor manuscrise cu soluții și progrese pentru 372 de probleme matematice.
OpenAI descrie materialele drept date brute de cercetare și implică experți externi pentru verificarea și explicarea lor. Prima demonstrație privește conjectura de netezire locală formulată de Christopher Sogge în 1991.
Ideea, simplificată, este că undele nu pot rămâne concentrate extrem de puternic pentru perioade îndelungate. OpenAI afirmă că a demonstrat rezultatul în toate dimensiunile spațiale, cu implicații și pentru conjecturile Kakeya și Stein. A doua lucrare ar infirma Exponential Time Hypothesis, o presupunere despre cât de greu se rezolvă anumite probleme de satisfiabilitate logică.
Asta ar putea schimba limite teoretice folosite în informatică, fără să aducă automat programe mai rapide. Manuscrisele sunt publice pe GitHub, iar compania spune că demonstrațiile au fost formalizate și verificate în Lean, un asistent software pentru demonstrații matematice.
În fizică, anunțul privește existența matematică riguroasă a unor teorii cuantice ale câmpurilor în patru dimensiuni, inclusiv cromodinamica cuantică, teoria interacțiunilor dintre quarcuri și gluoni. Materialele sunt analizate de un grup condus de laureatul Nobel David Gross și nu au fost încă publicate integral.
Există aici o distincție esențială: existența teoriei Yang–Mills este doar o parte a problemei Millennium. Rezolvarea completă cere și demonstrarea unui „mass gap”, adică a unui prag energetic pozitiv între vid și stările excitate. Ce avem noi aici nu echivalează cu rezolvarea întregii probleme.
Publicarea a stârnit și nemulțumiri. Levent Alpöge, de la Anthropic, și matematicianul Ethan Sussman lucrau deja public la o abordare înrudită, folosind Claude pentru a dezvolta programul matematic al lui Tadeusz Bałaban. Alpöge a criticat alegerea OpenAI de a anunța separat rezultatul, în loc să colaboreze cu ei.
Cei doi avertizează însă și asupra propriilor materiale: sunt lucrări în curs, generate în mare parte de AI, cu afirmații provizorii care necesită verificare.
