Jõuludest saadik on leidnud lahenduse 15 legendaardse Ungari matemaatiku Paul Erdőse koostatud matemaatikaülesannet. Trendi põhjal hakkab nägema kõigi tõeste matemaatiliste väidete kõige elegantsemaid tõestusi inimeste asemel esmalt tehisaru, leiab R2 tehnikakommentaaris Kristjan Port.
