AI trong toán học mở ra kỷ nguyên vàng mới của khám phá khoa học

Nhà toán học người Hungary Paul Erdős đã để lại hàng trăm bài toán chưa có lời giải kèm theo tiền thưởng, một trong số đó là giả thuyết về khoảng cách đơn vị trong lý thuyết đồ thị hình học. Giả thuyết này về cơ bản hỏi về số lượng lớn nhất các kết nối có độ dài bằng nhau giữa một tập hợp các điểm, một câu đố đã thách thức trực giác của con người trong gần 80 năm. Một thuật toán tạo sinh đã phát hiện ra các cấu trúc không gian phi tầm thường mà con người đã bỏ qua, giải quyết một phần bài toán. Ngày nay, AI xử lý công việc tốn thời gian là liệt kê hàng triệu tổ hợp và phát hiện các mẫu ẩn, trong khi các trình chứng minh tương tác như Lean hay Coq xác minh từng bước, loại bỏ hiện tượng ảo giác. Dù có những thành công này, các bài toán nền tảng như giả thuyết Riemann hay phương trình Navier-Stokes vẫn chưa được giải, vì chúng đòi hỏi một ngôn ngữ khái niệm mới. Đối với cộng đồng khoa học nói tiếng Nga, sự chuyển dịch tính toán này tận dụng một truyền thống toán học mạnh mẽ, với các ứng dụng từ tối ưu hóa mạng nơ-ron đến mật mã chống lượng tử. AI đóng vai trò như một bộ xương ngoài kỹ thuật số cho bộ não con người, giải phóng các nhà nghiên cứu khỏi các công việc thường nhật và cho phép họ tập trung vào các mục tiêu chiến lược và tầm nhìn khái niệm.