Nový milník v oblasti umělé inteligence: AlphaProof od Google DeepMind
Google DeepMind dosáhl nového milníku v rozvoji umělé inteligence s představením AlphaProof, systému schopného matematiky, který dosahuje výkonu srovnatelného s nejlepšími studenty na světě.
Podle článku publikovaného v prestižním časopise Nature by tato AI získala stříbrnou medaili na Mezinárodní matematické olympiádě (IMO) 2024, kdyby se zúčastnila oficiálně, když vyřešila tři z pěti úloh navržených v soutěži.
Tento úspěch představuje bezprecedentní pokrok, protože poprvé stroj prokázal schopnost provádět formální a ověřitelné matematické důkazy, čímž překonal hranici, která dosud oddělovala lidské logické myšlení od počítačového výpočtu. IMO je považována za největší akademickou výzvu pro středoškolské studenty, což naznačuje, že AI začíná dominovat v jednom z nejnáročnějších oborů lidského myšlení.
AlphaProof byl vyvinut týmem výzkumníků Google DeepMind, který je zodpovědný za další technologické milníky, jako je AlphaGo, jenž porazil mistra světa ve strategické hře Go, a AlphaFold, model, který revolučním způsobem předpověděl struktury proteinů během několika sekund. Cílem AlphaProof bylo ověřit, zda může AI uplatnit přísné logické myšlení a produkovat platné důkazy v rámci formální matematiky.
Systém nejen úspěšně vyřešil tři složité problémy z algebry a teorie čísel, ale také čelil nejtěžší výzvě zkoušky, prokazující úroveň uvažování srovnatelnou s mladým matematickým géniem. Nicméně výzkumníci upozornili, že model stále vykazuje důležité omezení, zejména v oblastech, jako je kombinatorika, kde hrají klíčovou roli lidská kreativita a intuice.
Tajemství za pokrokem
Funkčnost AlphaProof se opírá o zcela odlišnou architekturu než u konvenčních jazykových modelů, jako jsou ChatGPT nebo Gemini. Místo generování textu v přirozeném jazyce pracuje v formálním prostředí známém jako Lean, interaktivním asistentem, který umožňuje krok za krokem psát a ověřovat matematické důkazy. Tímto způsobem může být každý argument produkovaný AI automaticky ověřen systémem, čímž se vyhýbá problému takzvaných “halucinací”, které obvykle postihují jiné generativní modely.
Podle výzkumníků AlphaProof kombinuje tuto formální strukturu s metodou učení posilováním (Reinforcement Learning), která mu umožňuje prozkoumávat miliony možných řešení problému a učit se z vlastních pokusů. Pro obtížnější úlohy systém využívá techniku zvanou Test-Time Reinforcement Learning, která přizpůsobuje své uvažování během provádění, ačkoli vyžaduje obrovské výpočetní úsilí.
Více asistent než náhrada
Odborníci na umělou inteligenci a matematiku přijali tento pokrok s nadšením, ale také s opatrností. Fyzik a informatika Ramón López de Mántaras z Vysoké rady vědeckého výzkumu (CSIC) poznamenal, že AlphaProof ukazuje, že AI může čelit problémům formální matematiky vysoké složitosti, ale zdůraznil, že její dosah je omezen na kontexty, kde jsou pravidla a pojmy již definovány. “Pokročilé matematické výzkumy, které zahrnují vytváření nových teorií nebo myšlenek, zůstávají výlučně lidským územím,” uvedl.
Kromě toho proces, který AlphaProof následuje, se podstatně liší od práce skutečného studenta. Zatímco účastník olympiády má k dispozici pouze pár hodin na vyřešení problémů, Google AI potřeboval několik dní a velkou počítačovou infrastrukturu, aby dosáhl svých výsledků. Tento aspekt vyvolává otázky o demokratizaci přístupu k tak nákladným technologiím, zejména v akademické sféře.
Budoucnost spolupráce mezi lidmi a stroji
Experti se shodují, že systémy jako AlphaProof neusilují o nahrazení matematiků, nýbrž o fungování jako podpůrné nástroje, které urychlují řešení složitých problémů. V tomto smyslu by jejich role mohla připomínat dalekohled pro astronomy nebo urychlovač částic pro fyziky: technologie, která rozšiřuje lidské schopnosti bez jejich nahrazení.
S AlphaProof dává Google DeepMind další krok směrem k vývoji skutečně racionálních umělých inteligencí, schopných operovat s ověřitelnou logikou a bez sémantických chyb. Cesta k obecné umělé inteligenci (AGI) však stále zůstává dlouhá. Zatím kreativita, intuice a schopnost abstrakce i nadále zůstávají — alespoň na nějakou dobu — výlučným územím lidské mysli.
