Elon Musk a anunțat pe rețeaua de socializare X că Grok 4.5 „tocmai a rezolvat” o problemă din teoria grafurilor, care rămăsese nerezolvată timp de aproape trei decenii.
Este vorba despre Conjectura Graffiti 284 — una dintre ipotezele formulate de sistemul Graffiti, creat în anii 1980 de matematicianul Siemion Fajtlowicz. Acest program genera automat ipoteze matematice în domeniul teoriei grafurilor, multe dintre ele devenind ulterior obiectul unor cercetări științifice.
Conform explicației publicate de dezvoltatori, agentul Capy, care funcționează pe modelul Grok 4.5 Medium, a descoperit, în timpul unei discuții pe Slack, în mai puțin de zece minute, un contraexemplu care contrazice afirmația ipotezei.
Contrapromul a fost graficul Hoffman-Singleton
Ca contraexemplu a fost utilizat graficul Hoffman-Singleton — un obiect cunoscut din teoria grafurilor, cu 50 de noduri, gradul 7, circumferința 5 și diametrul 2.
Conform schemei publicate, tocmai acest graf nu satisface inegalitatea formulată în Conjectura Graffiti 284. Dacă demonstrația matematică se va confirma, aceasta va însemna că ipoteza este falsă.
Imaginea publicată arată că valoarea gradului minim dual (δ*) pentru graficul Hoffman-Singleton depășește valoarea limitată de ipoteză, încălcând-o astfel.
Capacitățile IA extind orizonturile științei
Deși infirmarea unei singure ipoteze nu reprezintă în sine o revoluție, acest caz demonstrează potențialul tot mai mare al sistemelor moderne de IA în domeniul științei fundamentale.
Spre deosebire de majoritatea sarcinilor legate de generarea de text sau de cod de programare, verificarea ipotezelor matematice necesită analiza unor structuri complexe, căutarea contraexemplelor și deducții logice riguroase.
Dacă rezultatele vor fi confirmate de cercetători independenți, acesta va deveni unul dintre cele mai notabile exemple de utilizare a IA generative în cercetarea matematică.
Deocamdată, informațiile se bazează pe declarațiile lui Elon Musk și ale dezvoltatorilor proiectului. La momentul publicării, nu a fost prezentată nicio confirmare independentă a rezultatului în surse științifice revizuite.
