Đại học Thanh Hoa thành lập Liên minh Phòng thí nghiệm Toán học và Trí tuệ Nhân tạo Khâu Thành Đồng
Liên minh Phòng thí nghiệm Toán học và Trí tuệ Nhân tạo Khâu Thành Đồng đã được thành lập tại Đại học Thanh Hoa vào ngày 11 tháng 10, quy tụ hơn 1.000 nhà nghiên cứu từ nhiều tổ chức nhằm thúc đẩy sự hội nhập sâu rộng giữa AI và toán học. Liên minh này tạo ra một khuôn khổ thể chế để giải quyết các thử thách toán học phức tạp thông qua AI, định hình lại các mô hình nghiên cứu truyền thống và khám phá con đường tự chủ trong việc xây dựng các mô hình lớn toán học chuyên biệt. Liên minh đã công bố hơn 10 định hướng nghiên cứu và thành tựu trọng điểm, bao gồm việc tận dụng AI để hỗ trợ khám phá các chiến lược chứng minh cho bài toán mặt cầu đồng luân 7 chiều liên quan đến các cấu trúc trơn ngoại lai.
## KIẾN THỨC NỀN
Các bài toán hình học và tô-pô như mặt cầu đồng luân 7 chiều liên quan đến việc hiểu rõ các mặt cầu ngoại lai đồng phôi nhưng không vi phôi với mặt cầu chuẩn, tạo ra những rào cản lớn về mặt tính toán và logic. Các công cụ chứng minh hình thức hỗ trợ bởi AI và hệ thống đại số máy tính giúp các nhà toán học khám phá không gian phức tạp này bằng cách tự động hóa các phép tính ký hiệu và xác minh các đẳng thức khắt khe.