Tương lai của khám phá toán học: tự động hóa hoàn toàn so với mô hình lai giữa người và trí tuệ nhân tạoCông nghệ