Washington – Společnost OpenAI zaměřená na výzkum a vývoj umělé inteligence (AI) zveřejnila rozsáhlou sbírku matematických výpočtů vygenerovaných interním modelem. Podle deníku The New York Times (NYT) zjištění na jednu stranu odhalují, čeho jsou nejpokročilejší modely AI schopny dosáhnout, ale zároveň vyvolávají otázku, do jaké míry se výsledky opírají o práci skutečných matematiků. Překotný vývoj AI také vyvolává obavy, že firmy technologii vyvíjejí rychleji, než se změně dokáže přizpůsobit akademické prostředí.

Společnost OpenAI v noci na dnešek zaplavila matematiky stovkami nových objevů, které pokrývají širokou škálu témat, včetně algebry, teorie čísel, teoretické informatiky, matematické logiky a topologie. Těchto 377 výsledků navazuje na zářijové oznámení společnosti OpenAI, že se jí podařilo vyřešit Navierovu-Stokesovu rovnici, která byla považována za natolik obtížnou, že za každé řešení byla vypsána odměna milion dolarů. Tento úspěch předvedl, čeho jsou nejmodernější modely umělé inteligence schopné, ale zároveň vyvolal otázky, zda systémy umělé inteligence společnosti OpenAI využívají kreativní myšlení, nebo pouze dokončují závěrečné kroky poté, co si vypůjčily nápady z prací lidských matematiků.

Stejně jako v případě Navierovy-Stokesovy rovnice byly i nově zveřejněné výsledky vypracovány pomocí pokročilého modelu AI, který společnost dosud nenabídla veřejnosti.

Před několika týdny OpenAI oznámila, že spolupracuje s poradní skupinou matematiků, která by měla poskytovat doporučení ohledně toho, jak by společnosti zabývající se umělou inteligencí měly matematikům sdělovat výsledky vygenerované umělou inteligencí. Tato skupina působí pod záštitou Institutu pro pokročilá studia na Princetonské univerzitě v New Jersey a je nezávislá na společnostech v oboru AI.

Poradní sbor mimo jiné navrhl, aby byly zveřejněny všechny podněty pro agenty umělé inteligence a jejich myšlenkové postupy. V úterý večer vydal tento orgán prohlášení, v němž označil zveřejnění za „začátek, nikoli dokončení procesu lidského porozumění a začlenění této práce do matematických znalostí“.

„Chceme vytvořit standardy a postupy, aby výsledky zveřejňované laboratořemi zabývajícími se umělou inteligencí byly srozumitelné pro matematiky a mohly přispět k pokroku v této oblasti,“ uvedla v e-mailu Melanie Woodová, matematička z Harvardovy univerzity a členka poradního výboru.

Mnoho z nově zveřejněných matematických důkazů bylo zkontrolováno pomocí interaktivního ověřovacího programovacího jazyka Lean. U deseti příkladů OpenAI také shrnula, jak model AI došel k výsledku. Průměrně podle společnosti vypočítání výsledku trvalo tři hodiny.

„Při rozhodování o tom, jak tyto výsledky zveřejníme, jsme vycházeli z rad (poradního výboru) a veřejných doporučení,“ uvedla společnost OpenAI v příspěvku na svých webových stránkách.

OpenAI se však zdá být méně zaměřena na klíčové doporučení poradního výboru, podle kterého by společnosti zabývající se umělou inteligencí měly přestat testovat své uzavřené modely na složitých matematických úlohách, píše NYT. „Chceme hned na začátku jasně uvést: tuto praxi neschvalujeme,“ napsal poradní sbor 29. září.

Společnosti zabývající se umělou inteligencí nejprve zadávaly svým modelům matematické úlohy podobné těm, které řeší středoškoláci během Mezinárodní matematické olympiády. Jakmile však modely dokázaly tyto úlohy vyřešit, tým OpenAI vytvořil nové testovací sady dosud nevyřešených matematických úloh z nejobtížnějších oblastí matematického výzkumu. Právě výsledky z tohoto testování jsou součástí nově zveřejněných sad.

Tristan Buckmaster, matematik z Newyorské univerzity, který pracoval na Navierově-Stokesově rovnici, uvedl, že stále není jasné, zda matematici využívající modely umělé inteligence, jako jsou ty od OpenAI, nevědomky neposkytovali informace, které umělé inteligenci umožnily dostat se ke konečnému řešení dříve než oni. „Pravděpodobně existuje řada výsledků, u nichž modely převezmou něčí práci a dotáhnou ji do konce,“ řekl Buckmaster. Zároveň vyjádřil přesvědčení, že výzkumníci AI neprovedli náležitou kontrolu, když zveřejnili tolik výsledků naráz.

Dan Roberts, vedoucí výzkumu v OpenAI, uvedl, že testování interních modelů je důležité pro vývoj lepších nástrojů a že matematické důkazy jsou vedlejším produktem tohoto testování.

Matematici se potýkají s otázkou, zda zrychlené tempo řešení matematických úloh jejich oboru pomáhá, nebo škodí, pokud porozumění tomu, jak k výsledku model došel, zaostává. „Myslím, že jádrem tohoto problému je to, že lidé mají dvě protichůdné stránky: sklon k soutěživosti a schopnost vnímat krásu,“ řekl Kai Shaikh, postgraduální student matematiky na Torontské univerzitě.“ Mně to připadá jako případ, kdy se ta první stránka snaží tu druhou udusit,“ dodal.

‚;
} else {
let zoneId = ‚78406‘;
zoneId = (zoneType === ‚autonaelektrinu‘) ? ‚230106‘ : zoneId;
div.innerHTML = “;
}
}

Share.
Exit mobile version