Érmet szerzett a matematikai olimpián! Bizonyít, cáfol, komplex feladatokat old meg magától a Google mesterséges intelligenciája, a DeepMind. Ilyen eddig nem volt.
Miután a Go játéktól a stratégiai társasjátékokig mindenben legyőzte az embereket , a Google azt állítja, hogy a DeepMind nevű mesterséges intelligencia matematikai feladatok megoldásában a világ legjobb diákjainak szintjén áll.
A londoni gépi tanulással foglalkozó cég július 25-én jelentette be, hogy mesterséges intelligencia-rendszerei négyet megoldottak abból a hat problémából, amelyeket a 2024-es Nemzetközi Matematikai Olimpián (IMO) kaptak az iskolások a Bathban (Egyesült Királyság) ebben a hónapban. A mesterséges intelligencia szigorú, lépésről lépésre végzett bizonyítékokat készített, amelyeket két legjobb matematikus jelölt meg, és 28/42-es pontszámot értek el – mindössze egy ponttal marad el az aranyérmes tartománytól.
„Ez egyértelműen nagyon jelentős előrelépés” – mondja Joseph Myers, az Egyesült Királyságbeli Cambridge-i matematikus, aki a Fields-érmes Tim Gowers-szel együtt megvizsgálta a megoldásokat, és segített kiválasztani az idei IMO eredeti problémáit.
A DeepMind és más cégek versenyben állnak, hogy végül a gépek olyan bizonyítékokat adjanak, amelyek lényeges kutatási kérdéseket oldanak meg a matematikában . Az IMO-n – a fiatal matematikusok számára rendezett világelső versenyen – felállított problémák az e cél felé tett haladás mércéjévé váltak, és a gépi tanulás „nagy kihívásának” tekintik őket, mondja a vállalat.
„Ez az első alkalom, hogy bármilyen mesterséges intelligencia rendszer érem szintű teljesítményt tudott elérni” – mondta Pushmeet Kohli, a DeepMind AI tudományos részlegének alelnöke az újságíróknak tartott tájékoztatón. „Ez egy kulcsfontosságú mérföldkő a haladó tételbizonyítók felépítésében” – mondta Kohli.
