OpenAI hlásí pokroky umělé inteligence při řešení otevřených matematických problémů

Společnost OpenAI zveřejnila nové výsledky týkající se dlouhodobě nevyřešených problémů v matematice a teoretické informatice. Podle společnosti se jedná o pokroky v oblastech geometrie, kryptografie a teorie složitosti, tedy v disciplínách, které patří mezi nejnáročnější partie moderní matematiky a informatiky a jejichž otevřené otázky odolávají řešení desítky let.

Přesné datum ani místo zveřejnění výsledků nebylo v dostupných informacích specifikováno. OpenAI nicméně dlouhodobě prezentuje své modely nejen jako nástroje pro běžné uživatele, ale také jako pomocníky pro vědeckou práci, kde mohou napomáhat při formulaci hypotéz, ověřování důkazů nebo hledání nových přístupů k problémům, které lidští matematici a informatici řeší po generace.

Geometrie, kryptografie a teorie složitosti patří mezi oblasti, kde i drobný posun v chápání základních otázek může mít dopad na celou řadu navazujících disciplín. Geometrické problémy často souvisejí s otázkami týkajícími se struktury prostoru a tvarů, které nacházejí uplatnění například ve fyzice nebo počítačové grafice. Kryptografie je naopak oborem, jehož teoretické základy přímo ovlivňují bezpečnost digitální komunikace, šifrování dat a ochranu citlivých informací v prakticky každém odvětví, které se spoléhá na digitální technologie. Teorie složitosti pak zkoumá, jak náročné je řešení různých typů úloh z hlediska potřebného výpočetního výkonu a času, a patří mezi klíčové oblasti teoretické informatiky, na které je navázána i celá řada praktických otázek souvisejících s výkonností algoritmů.

Dlouhodobě nevyřešené problémy v těchto oborech jsou obvykle známé matematické a informatické komunitě už po dlouhou dobu a jejich řešení bylo mnohokrát zkoušeno různými metodami. Pokud se v takových otázkách objeví nový pokrok, obvykle vzbuzuje zájem odborné veřejnosti, protože může otevřít cestu k dalším objevům nebo poskytnout nový úhel pohledu na související problémy.

OpenAI v posledních letech investuje značné úsilí do vývoje modelů, které mají schopnost pracovat s abstraktním matematickým uvažováním a formálními důkazy. Takové systémy jsou trénovány nejen na běžném textu, ale i na matematických zápisech, důkazech a odborné literatuře, což jim má umožnit lépe rozumět logické struktuře matematických tvrzení a případně přispívat k jejich řešení nebo verifikaci.

Společnost dosud nespecifikovala, zda byly zveřejněné výsledky získány výhradně díky nasazení umělé inteligence, nebo šlo o kombinaci lidské expertízy a pomoci ze strany AI nástrojů. Rovněž nebylo upřesněno, jaké konkrétní problémy byly v rámci geometrie, kryptografie a teorie složitosti řešeny, ani jak byly výsledky formálně publikovány nebo recenzovány odbornou komunitou.

Zveřejnění výsledků v oblasti matematiky a teoretické informatiky zapadá do širšího trendu, kdy technologické firmy vyvíjející systémy umělé inteligence usilují o prokázání praktické hodnoty svých modelů i mimo běžné komerční aplikace. Schopnost přispět k řešení náročných teoretických problémů může sloužit jako důkaz toho, že moderní jazykové a matematické modely dosáhly úrovně, na které jsou schopné pracovat s vysoce abstraktními koncepty srovnatelně s lidskými experty, případně jim v některých ohledech pomáhat.

Dopad podobných výsledků na akademickou obec bude záležet na tom, jak budou přijaty odbornou komunitou a zda obstojí při důkladném prověření. Matematické důkazy a teoretické závěry v oborech jako kryptografie nebo teorie složitosti obvykle procházejí dlouhým procesem verifikace, než jsou uznány za platné a zařazeny do odborné literatury.

OpenAI dosud nezveřejnila další podrobnosti o tom, kdy plánuje výsledky formálně publikovat nebo jakým způsobem budou dostupné širší vědecké komunitě k dalšímu prozkoumání a případnému navázání na dosažené pokroky.