Trung Quốc lập liên minh toán học AI với 1.000 nhà khoa học

Các nhà toán học hàng đầu tại Bắc Kinh đã hội họp vào Chủ nhật để thành lập một nỗ lực phối hợp nhằm ứng dụng học máy vào nghiên cứu lý thuyết. Sáng kiến này quy tụ 8 viện nghiên cứu và đặt mục tiêu tuyển dụng hơn 1.000 nhà khoa học vào một mạng lưới chuyên tự động hóa việc khám phá toán học.

Nhóm tập trung xây dựng các mô hình AI chuyên biệt có khả năng tạo ra các phỏng đoán mới và chính thức hóa các bài toán chứng minh. Các thành viên cũng dự định phát triển các hệ thống có quá trình suy luận dễ được con người giải thích hơn nhằm đảm bảo tính hợp lệ của kết quả do AI tạo ra.