o4-mini mô hình suy luận mạnh mẽ đẩy lùi ranh giới trong lập trình, toán học, khoa học, nhận thức thị giác và nhiều hơn nữa