Az elemi geometriában az AI már majdnem megveri az embert
Két napja publikálták a Nature-ben a „Solving olympiad geometry without human demonstrations” című cikket. Ez egy AI, ami diákolimpiai szintű elemi geometriai feladatokat tud megoldani, majdnem olyan jól, mint egy aranyérmes versenyző. Eddig is voltak olyan programok (nem igazán AI), amelyek aránylag jól működtek, de nem ennyire jól. Tarski bizonyította be, hogy az elemi síkgeometria …
