Abstract
Most of the results achieved using AI technologies are superior to humans: in 1997, a computer beat the then world chess champion, and more recently, in 2016, other computers beat the world's best go and poker players. Computers prove or help prove mathematical theorems; knowledge is generated automatically, based on machine learning methods, and with the help of large data sets, the size of which is calculated in terabytes (from the 10th to the 12th power) and even petabytes (to the 10th to the 15th power).