Úspěšný model umělé inteligence AlphaProof od Google DeepMind
Model umělé inteligence AlphaProof, vyvinutý společností Google DeepMind, splnil očekávání, která byla stanovena při jeho oznámení v červenci 2024. Tento inovativní systém byl prezentován jako schopný dosáhnout stříbrné medaile na Mezinárodních olympiádách v matematice a skutečně dosáhl tohoto cíle. Nyní je tato událost podrobně popsána v článku v odborném časopise Nature, jehož prvním autorem je Thomas Hubert, jeden z hlavních tvůrců modelu AlphaProof.
Na olympiádě v matematice v roce 2024, která se konala ve Spojeném království na Univerzitě v Bathu, „náš systém umělé inteligence vyřešil tři z pěti problémů, které nebyly geometrické, včetně největšího a nejtěžšího problému soutěže,“ uvádějí autoři studie.
Cílem této iniciativy je poskytnout matematickému výzkumu nástroje, které umožní urychlit práci na řešení složitých problémů a dokazování teorií. Doposud představovalo největší výzvu školení modelů umělé inteligence, které se učily pouze na základě neformálních testů napsaných v přirozeném jazyce.
Studie publikovaná v časopise Nature dokazují, že je možné integrovat učení s formálním matematickým softwarem zvaným Lean. Tento systém byl následně vyškolen na základě 80 milionů výroků a prokázal se jako schopný najít důkazy pro složité matematické teorie.
Přesto existuje stále mnoho práce, protože model vykazuje určité limity při řešení dalších typů složitých problémů. Podle výzkumníků je příští výzvou „řešit tyto limity,“ což „otevře cestu AlphaProofu, aby se stal cenným nástrojem pro řešení složitých matematických problémů.“
