人工智能中的数学