Nền tảng toán học cho AI