Mezinárodní matematická olympiáda (IMO) je soutěž pro středoškolské studenty mladší 20 let. Včera Google DeepMind oznámil, že jeho dvě umělé inteligence AlphaProof a AlphaGeometry 2 řešily šest úloh letošní IMO a vyřešily čtyři z nich.
Celkově získaly 28 ze 42 bodů, což stačilo na stříbrnou medaili. Zlatá medaile o bod unikla, bylo potřeba 29 bodů. AI také vyřešily tu nejtěžší úlohu, kterou letos vyřešilo jen 5 lidí. Google říká, že řešení jedné úlohy zabralo řádově minuty, zbývající tři trvaly až tři dni. Ve skutečné IMO je čas na řešení všech úloh stanoven na 2×4,5 hodiny. Také pro AlphaProof muselo být zadání nejprve lidmi převedeno do formálního jazyka Lean.
(zdroj: arstechnica)
ČLÁNKY DO MAILU