Intelligenza artificiale e matematica