OpenAI zveřejnila 722 matematických prací od dosud nevydaného AI modelu

V úterý 6. října zveřejnila společnost OpenAI 722 matematických rukopisů ve veřejném úložišti na GitHubu, roztříděných do 372 "rodin výsledků". Společnost tvrdí, že je vytvořil dosud nevydaný interní model. Časopis Scientific American uvedl, že úložiště bylo spuštěno v 18:00 východoamerického času. Očekává se, že matematici budou potřebovat měsíce, aby výsledky prošli a posoudili, zda důkazy obsahují nové myšlenky, nebo zda jde převážně o rekombinaci stávajících technik.openai+2

Zveřejnění přichází měsíc poté, co OpenAI 8. září oznámila, že stejný interní systém dokázal, že trojrozměrné Navierovy-Stokesovy rovnice mohou v konečném čase vyvinout singularity. Tento problém je jedním z problémů tisíciletí Clayova matematického ústavu. Oznámení o Navierových-Stokesových rovnicích vyvolalo trvalou kritiku ohledně připisování zásluh, transparentnosti a rychlosti, jakou společnost výsledky zveřejňuje.scientificamerican+2

Co úložiště obsahuje

Rodiny výsledků pokrývají 17 disciplín, přičemž nejvíce záznamů připadá na teoretickou informatiku, kombinatoriku, algebraickou geometrii a teorii čísel. Katalog obsahuje tvrzené výsledky týkající se iracionality čísla pí, Mahlerových domněnek, NP-těžkosti, izomorfismu faktorů volných grup a relativistických Vlasovových-Maxwellových rovnic.interestingengineering+2

OpenAI také publikovala formální zápisy mnoha důkazů v jazyce Lean. Lean je programovací jazyk, který umožňuje počítači zkontrolovat každý logický krok důkazu. Ne každý rukopis byl však formalizován. Soubor README v úložišti varuje, že některé neformalizované výsledky "mohou mít problémy", a manifest formalizace uvádí stav revize jako "nekontrolováno".kingy+2

Společnost uvedla, že model se během hodnocení pokusil vyřešit přibližně 4 000 problémů. Uvedla, že průměrný výsledek spotřeboval výpočetní výkon odpovídající "zhruba třem hodinám přemýšlení ChatGPT Pro". Součástí je deset zkrácených shrnutí úvah modelu. OpenAI nezveřejnila celkové náklady v dolarech, počet tokenů ani veřejný název modelu.unite+2

Doporučení poradní skupiny byla dodržena jen částečně

OpenAI uvedla, že při zveřejnění vycházela z rad nezávislé poradní skupiny pro matematiku a umělou inteligenci, která sídlí v Institute for Advanced Study v Princetonu v New Jersey. Skupina vydala doporučení 29. září. Vyzývá laboratoře, aby zveřejnily název modelu, použité prompty a výpočetní náklady pro každý výsledek a aby výsledky ukládaly do úložišť, která nekontroluje žádná laboratoř AI. OpenAI nezveřejnila prompty ani údaje o výpočetním výkonu na výsledek. Mluvčí společnosti pro Scientific American uvedl, že OpenAI bere pokyny vážně, ale není jimi vázána.scientificamerican+2

Stejný mluvčí uvedl, že téměř každý výsledek pochází z jediného promptu zadaného jednomu agentovi, i když některé mohly vyžadovat více pokusů.scientificamerican

Rozdílné reakce

"Měli bychom žádat o důkazy," řekl časopisu Scientific American matematik Andrew Sutherland z MIT. Uvedl, že tvrzení o vyřešení problémů na první pokus by měla být považována za neověřená, dokud nebude model vydán. Daniel Litt z Torontské univerzity zaujal opačný postoj: "Podle mě je to pro matematiku dobrá věc".scientificamerican

OpenAI uvedla, že plánuje financovat workshopy a konference zaměřené na pomoc matematikům při pochopení výsledků vytvořených AI a že pracuje na "odpovědném vydání modelu", který za nimi stojí.openai