Umělá inteligence DeepMind společnosti Google získává stříbrnou medaili v komplexní matematické soutěži
Úspěch je pozoruhodný, protože systémy umělé inteligence si obvykle nevedou dobře se složitými matematickými úkoly.
Dnešní systémy umělé inteligence (AI) mají mnoho dovedností, ale obvykle zaostávají, pokud jde o řešení složitých matematických problémů. Proto je Google nadšený, že dva z jeho systémů DeepMind AI dokázaly vyřešit několik náročných problémů, které se objevily v prestižní matematické soutěži.
V novém příspěvku zveřejněném ve čtvrtek Google vychvaloval chytrost a úspěchy AI svých modelů DeepMind AlphaProof a AlphaGeometry 2 AI. Při vstupu do Mezinárodní matematické olympiády (IMO) v roce 2024 tyto dva systémy vyřešily čtyři ze šesti problémů. Toto úsilí odměnilo umělou inteligenci Google stejnou úrovní jako stříbrný medailista poprvé v této soutěži, která je obvykle zaměřena na mladé matematiky.
Každý rok IMO zve elitní matematiky z předškolního věku, aby se popasovali se šesti extrémně obtížnými problémy v algebře, kombinatorice (počítání, výběr a uspořádání velkého počtu objektů), geometrii a teorii čísel. Tato soutěž přesahuje hranice lidí a stala se také způsobem, jak testovat a měřit systémy strojového učení a umělé inteligence v pokročilém matematickém uvažování.
S problémy přeloženými do formálního jazyka, kterému umělá inteligence Google rozumí, AlphaProof vyřešil dva problémy algebry a jeden problém v teorii čísel, a nejenom našel odpověď, ale také dokázal, že odpověď byla správná. Google citoval výzvu teorie čísel jako nejtěžší v soutěži, kterou vyřešilo pouze pět lidských soutěžících. AlphaGeometry 2 přišel na problém s geometrií. Ale ani jeden model nebyl schopen rozlousknout dva problémy kombinatoriky.
AlphaProof je systém založený na AI, který se dokáže trénovat k dokazování matematických tvrzení pomocí formálního jazyka Lean. AlphaProof se dříve naučil hrát a vyhrávat v šachách, shogi a Go, když zkombinoval předem trénovaný jazykový model s algoritmem zesílení výuky AlphaZero.
AlphaGeometry 2 je vylepšená verze AlphaGeometry. Tento model založený na AI Gemini od Google dokáže zvládnout velmi náročné geometrické problémy, včetně těch, které pokrývají pohyby objektů a rovnice úhlů, poměrů a vzdáleností.
Kromě testování matematických dovedností AlphaProof a AlphaGeometry 2, Google využil IMO k vyzkoušení logického systému přirozeného jazyka postaveného na Gemini s pokročilými možnostmi řešení problémů. Na rozdíl od ostatních dvou modelů tento nevyžaduje překlad problémů do formálního jazyka.
Ačkoli úspěch těchto modelů může znít abstraktně, Google to vidí jako další krok směrem k budoucnosti AI.
„Těšíme se na budoucnost, ve které matematici pracují s nástroji AI, aby prozkoumali hypotézy, zkoušeli odvážné nové přístupy k řešení dlouhotrvajících problémů a rychle dokončili časově náročné prvky důkazů - a kde se systémy AI jako Gemini stanou schopnějšími. v matematice a širším uvažování,“ uvedla společnost ve svém příspěvku.