Trung Quốc Lập Liên Minh AI Cho Toán Học, Phương Tây Lo Ngại

Liên minh mang tên "Yau Laboratory Alliance for Mathematics and Artificial Intelligence" được lập hôm Chủ nhật ở Bắc Kinh. Nhóm này tập hợp 8 cơ quan và đặt mục tiêu xây dựng mạng lưới hơn 1.000 nhà nghiên cứu.

Shing-Tung Yau nói Trung Quốc đang tụt lại phía sau Mỹ. Ông cùng nhóm nhà toán học Trung Quốc muốn đẩy AI vào nghiên cứu toán học.

Ở phương Tây, sự hoài nghi chiếm ưu thế. 25 người đoạt Fields Medal, trong đó có Terence Tao và Peter Scholze, lo rằng các chứng minh do AI tạo ra làm xói mòn hiểu biết toán học và khiến nhà nghiên cứu phụ thuộc vào những công cụ mà họ không thể theo dõi.

Một số người trong cộng đồng kêu gọi tẩy chay các chứng minh do AI tạo ra. Những người khác nói họ sốc trước số lượng lớn các bài nộp tự động.

Phía Trung Quốc muốn xây dựng model chuyên biệt, tạo chứng minh có thể kiểm bằng máy và tạo suy luận AI minh bạch. Ngay cả trong nhóm chuyên gia có dùng AI, vẫn chưa có đồng thuận về việc AI tạo ra hiểu biết toán học thật sự hay chỉ dò theo các cách đã biết, hoặc liệu khác biệt đó có quan trọng hay không.