Mã Tiêu nhận chức giáo sư liên kết tại Viện Trí tuệ Nhân tạo Tổng quát và Viện Hình học - Vật lý thuộc USTC từ tháng 11/2026.
Mã Tiêu cùng cộng sự Đặng Vu từng đạt đột phá khi giải quyết Bài toán thứ sáu của Hilbert vào năm 2024.
Nhà toán học 28 tuổi này dự định tập trung nghiên cứu AI, đặc biệt là các tác nhân (agent) và khoa học tự động trong 2-3 năm tới.
Mã Tiêu đã phát triển hệ thống qmd-prover nhằm tự động hóa quy trình chứng minh và kiểm chứng toán học.
Viện Trí tuệ Nhân tạo Tổng quát tại USTC được thành lập từ tháng 1/2026 nhằm phát triển mô hình nền tảng và trí tuệ hiện thân.
Ngôi sao toán học nổi tiếng Mã Tiêu cho biết sẽ trở về Trung Quốc để tập trung vào lĩnh vực AI thay vì nghiên cứu khoa học thuần túy.
Ở tuổi 28, nhà toán học Mã Tiêu quyết định nghỉ việc ở Mỹ và chuyển tới Đại học Khoa học và Công nghệ Trung Quốc (USTC) tại Hợp Phì, tỉnh An Huy. Theo thông báo hôm 1/11 của USTC, anh nhận chức giáo sư liên kết tại Viện Trí tuệ Nhân tạo Tổng quát và Viện Hình học - Vật lý thuộc trường đại học.
