OpenAI tvrdí, že AI vyřešila přes 100 matematických úloh, důkazy ale nepředložila

Společnost OpenAI 21. září oznámila, že nejmenovaný interní model, jehož trénink začal 28. srpna, vyřešil více než 100 dlouho neřešených problémů napříč většinou oblastí matematiky, včetně problému existence a hladkosti řešení Navierových-Stokesových rovnic, což je jeden z problémů tisíciletí. Firma nezveřejnila žádné důkazy, žádný seznam úloh ani externí ověření, takže celé tvrzení stojí pouze na jejím slově.chosun+1

Spolu s tímto oznámením OpenAI odhalila vznik Poradní skupiny pro matematiku a umělou inteligenci, která sídlí v Institutu pro pokročilá studia v Princetonu a má za úkol přezkoumávat nové matematické výsledky systémů AI dříve, než budou považovány za vyřešené.the-decoder+1

Průlomové tvrzení bez dokumentace

Problém existence a hladkosti řešení Navierových-Stokesových rovnic je jedním ze sedmi problémů tisíciletí, které v roce 2000 vyhlásil Clayův matematický ústav a za každý z nich vypsal odměnu 1 milion dolarů. Rovnice popisují pohyb tekutin a denně se využívají ve fyzice i inženýrství, přesto jejich matematické základy zůstávají špatně pochopeny.npr

OpenAI poprvé 8. září tvrdila, že její AI vyřešila Navierův-Stokesův problém za 88 hodin s využitím zhruba 10 000 agentů AI. Oznámení z 21. září rozsah dramaticky rozšířilo o více než 100 dalších vyřešených úloh a podle serveru The Decoder také o údajné vyřešení druhého problému tisíciletí, Hodgeovy domněnky.the-decoder+2

Matematici, kteří zkoumali dřívější 166stránkový rukopis k Navierovým-Stokesovým rovnicím, uvádějí, že jeho formální zápis v jazyce Lean se správně kompiluje, což naznačuje, že důkaz je technicky platný, ale samotný text zůstává téměř nečitelný. „Ten článek není psán pro lidi,“ uvedl Javier Gómez-Serrano, matematik z Brownovy univerzity. James Maynard z Oxfordské univerzity dodal, že „bylo velmi obtížné z tohoto nového důkazu AI získat jakékoli lidské porozumění“.npr

Kontroverze kolem uspěchaného zveřejnění

Tato událost vyvolala ostrou kritiku matematické komunity. Dvacet pět držitelů Fieldsovy medaile, včetně Terence Taa a June Huha, zveřejnilo 11. září otevřený dopis s názvem „Závažné nesoulady AI v matematice“, v němž varují, že považovat řešení úloh za měřítko pro systémy AI podkopává koncepční porozumění, které je pro tuto disciplínu ústřední.the-decoder+1

Tristan Buckmaster, matematik z New York University, který se s kolegou Leventem Alpögem ze společnosti Anthropic blížil k řešení Navierových-Stokesových rovnic, obvinil OpenAI, že se dozvěděla o jejich postupu a závodila o to, kdo jej publikuje jako první. Podle Buckmastera mu OpenAI nabídla, že ho uvede ve svém článku, pokud opustí Alpögeho. „Existuje tolik nepřímých důkazů, že věděli mnohem více o tom, co děláme, než přiznali,“ řekl Buckmaster pro NPR. OpenAI popřela, že by jejich práci využila.npr

Poradní skupina s omezeními

Nová poradní skupina zahrnuje devět matematiků, mezi nimiž jsou držitelé Fieldsovy medaile Timothy Gowers a Martin Hairer, a funguje nezávisle bez nároku na odměnu od OpenAI. Členové mohou nabízet nevyžádané rady a zveřejňovat svá doporučení.mixed-news+1

Skupina má však zabudované omezení: nemá žádnou pravomoc nad tím, jak rychle OpenAI postupuje v nových zjištěních. „Důležité je, že skupina nebude zodpovědná za to, aby nám radila, jak máme tempo našeho interního pokroku v matematice určovat,“ uvedla OpenAI.the-decoder+1

Clayův matematický ústav, který ve své historii udělil pouze jednu cenu za problém tisíciletí, v prohlášení z 11. září poznamenal, že jeho hodnotící proces je „záměrně nespěchající“ a vyžaduje publikaci v kvalifikovaném časopise následovanou nejméně dvouletým obdobím obecného přijetí, než se o jakékoli ceně začne uvažovat. Žádný z výsledků, které si OpenAI nárokuje, nebyl publikován, což znamená, že tato lhůta ještě nezačala běžet.mixed-news