Bỏ qua quy trình bình duyệt học thuật truyền thống kéo dài hàng năm trời, OpenAI đã phát hành kho lưu trữ mở mang tên “Math” trên nền tảng GitHub. Dự án này bao gồm 722 bản thảo toán học chuyên sâu, công bố lời giải cho 372 họ bài toán lớn vốn là những nan đề bỏ ngỏ hàng thập kỷ của nhân loại. Nếu những thông tin mới nhất từ cuộc đua AI được xác nhận đầy đủ, chúng ta có thể đang đứng trước một bước ngoặt không chỉ của công nghệ, mà của chính cách con người làm khoa học.
OpenAI đang xây dựng một kho nghiên cứu toán học mở với hàng trăm bản thảo, trong đó có những kết quả liên quan đến các bài toán nổi tiếng như Riemann, Hodge, Mahler hay các giới hạn của thuật toán tối ưu hóa. Nếu được cộng đồng toán học độc lập kiểm chứng, ý nghĩa của những kết quả này sẽ vượt xa một màn trình diễn công nghệ: AI sẽ trở thành công cụ khám phá toán học, chứ không chỉ là công cụ tính toán.
Điều khiến các chuyên gia toán học kinh ngạc không phải là tốc độ tính toán, mà là phương thức tư duy của cỗ máy. Trước đây, chúng ta thường nghĩ AI chứng minh toán học chỉ đơn thuần là việc khớp mẫu dữ liệu trong các kho ngữ liệu khổng lồ. Thế nhưng, các bản thảo được công bố hôm nay tràn ngập những bước “chuyển dịch trực giác”, “phản ví dụ mang tính kiến tạo”, “khai triển Laplace” và cả “trực giác vật lý như mô phỏng dòng nhiệt, hệ thống Hamilton, những thứ vốn được coi là độc quyền của tư duy con người. AI không chỉ học được bộ khung toán học của nhân loại, mà đã bắt đầu tự sáng tạo ra trực giác toán học của riêng mình.
Đây cũng là cuộc đua không còn dành riêng cho OpenAI. Anthropic đang sử dụng các mô hình Claude để tìm kiếm phản chứng và giải quyết những vấn đề lâu đời. Google DeepMind lại theo hướng khác: AlphaProof, AlphaGeometry và Gemini Deep Think liên tục tiến vào những sân chơi khắc nghiệt nhất của toán học Olympic.
AI ngày càng có khả năng đề xuất phản ví dụ, tìm cấu trúc mới, kết hợp những nhánh toán học tưởng như không liên quan và sau đó đưa lời giải vào hệ thống kiểm chứng hình thức như Lean.
Nếu điều này tiếp tục mở rộng, vai trò của nhà toán học sẽ thay đổi. Con người có thể không còn dành phần lớn thời gian để tự mình thực hiện từng bước chứng minh, mà chuyển sang đặt câu hỏi, lựa chọn hướng nghiên cứu, đánh giá trực giác và kiểm chứng những gì máy móc tìm ra.
Song, kỷ nguyên toán học chứng minh thủ công truyền thống đang khép dần không đồng nghĩa với sự kết thúc của trí tuệ con người. Trái lại, khi các công cụ AI đảm nhận vai trò khám phá các cấu trúc logic phức tạp, nhân loại đang đứng trước ngưỡng cửa của một cuộc thám hiểm vĩ đại hơn, sử dụng trí tuệ nhân tạo như một động cơ dẫn đường để vươn tới những chân trời tri thức vô tận của vũ trụ.
Tác giả: Tư Tuyền
