Công cụ thông minh liên ngành: suy diễn toán học, mô hình hóa vật lý, tạo mã, suy luận logic