Только что: Сегодня @CadeMetz в New York Times освятил Аристотеля и нашу попытку создать самый продвинутый движок математического мышления в мире. Математическая суперинтеллектуальность становится мейнстримом.