OpenAI zakládá matematickou poradní skupinu poté, co její AI vyřešila přes 100 problémů

Společnost OpenAI je údajně blízko vyřešení druhého matematického problému tisíciletí, a to i přesto, že její první takové tvrzení — řešení problému existence a hladkosti Navierových-Stokesových rovnic oznámené 8. září — čelí sílící kritice matematiků, podle nichž firma zneužila mezeru ve formulaci problému.

Sporné vítězství a nová hranice

Důkaz Navierových-Stokesových rovnic, který vytvořilo 10 000 autonomních agentů AI běžících na nevydaném interním modelu během 88 hodin, byl při svém oznámení oslavován jako přelomový. Podle časopisu Scientific American však důkaz vyřešil variantu problému, která spoléhá na umělou vnější sílu — přístup, který mnozí odborníci považují za odtržený od fyzikální reality, již mají rovnice popisovat. „Nejdůležitější problém zůstává nevyřešen,“ řekl pro Scientific American matematik Luis Silvestre z Chicagské univerzity. „Clayův problém je vyřešen, ale hlavní problém pro Navierovy-Stokesovy rovnice nikoliv“.scientificamerican+2

Od té doby tři matematici zveřejnili důkaz, který ukazuje, že metodu OpenAI nelze nikdy rozšířit na vyřešení celého problému bez vnější síly, což znamená, že tento přístup narazil na slepou uličku. Výsledek technicky splňuje původní zadání Clayova matematického institutu, které zahrnovalo možnost použití vnějších sil, ale odborníci na dynamiku tekutin nyní čelí nepříjemné možnosti, že rovnice mohou „vybuchnout“ pouze za umělých podmínek.scientificamerican

Mezitím server The Information v pondělí uvedl, že OpenAI je blízko vyřešení dalšího ze zbývajících problémů tisíciletí, a sama OpenAI 21. září prozradila, že její nový model „nyní vyřešil více než 100 dlouho otevřených problémů napříč většinou oblastí matematiky“.openai+1

Odpor matematiků

Rychlý pokrok znepokojil matematickou komunitu. Dne 11. září vydalo 25 držitelů Fieldsovy medaile společné prohlášení s názvem „Závažné nesoulady AI v matematice“, v němž varují, že závod firem vyvíjejících AI o vyřešení slavných problémů riskuje podkopání kultury otevřeného bádání a lidského porozumění. „Tato řešení jsou často oznamována ve spěchu, aniž by zbyl čas na řádný zápis, izolaci nových metod a nápadů a citování relevantní předchozí práce ostatních,“ uvádí se v dopise. Objevila se i obvinění, že OpenAI vyvíjela nátlak na matematika, aby neuváděl spolupracovníka spojeného se společností Anthropic.techcrunch+2

Poradní skupina jako most

V reakci na to OpenAI v pondělí oznámila vznik nezávislé Poradní skupiny pro matematiku a umělou inteligenci, která bude sídlit v Institutu pro pokročilá studia. Mezi devíti členy skupiny jsou držitelé Fieldsovy medaile Timothy Gowers, Martin Hairer a Edward Witten, spolu s matematiky z Harvardu, Stanfordu, Oxfordu a Berkeley. Skupina bude radit při přezkumu a komunikaci výsledků, prosazovat akademické standardy a fungovat nezávisle — členové nebudou placeni společností OpenAI a mohou veřejně napadat přístup firmy.openai

„Před námi jsou obtížné otázky o tom, jak může AI podpořit matematické porozumění,“ napsala OpenAI a dodala, že chce, aby „matematici byli v centru utváření odpovědí“. Skupina však nebude radit v tom, jak OpenAI určuje tempo svého interního pokroku — což je rozdíl, který pravděpodobně příliš nezmírní obavy matematiků, kteří sledují, jak je stroje předbíhají“.openai