AI Giải Thành Công 4 Bài Toán Hóc Búa, Mở Ra Kỷ Nguyên Mới Cho Toán Học
Trí tuệ nhân tạo (AI) đã chứng minh khả năng vượt trội khi giải quyết thành công bốn bài toán hóc búa trong toán học, bao gồm giả thuyết Chen-Gendron và các vấn đề phức tạp khác, khiến các giáo sư đầu ngành phải thốt lời khen ngợi. Sự kiện này không chỉ đánh dấu bước tiến đáng kể trong lĩnh vực nghiên cứu mà còn báo hiệu một kỷ nguyên mới nơi AI trở thành đối tác trí tuệ thực thụ.
Hành Trình Từ Giả Thuyết Đến Lời Giải Nhờ AI
Năm năm trước, hai nhà toán học Dawei Chen và Quentin Gendron đối mặt với một rào cản trong hình học đại số liên quan đến vi phân, khiến họ phải công bố ý tưởng dưới dạng giả thuyết thay vì định lý. Gần đây, nhờ sự hỗ trợ của AI, công trình này đã có bước đột phá. Ban đầu, ông Chen thử trò chuyện với ChatGPT nhưng không thành công. Tuy nhiên, tại một hội nghị toán học ở Washington, ông gặp Ken Ono, một nhà toán học nổi tiếng đang làm việc tại startup AI Axiom.
Ono đã sử dụng công cụ AI giải toán AxiomProver để tạo ra một bài giải hoàn chỉnh cho giả thuyết Chen-Gendron chỉ sau một đêm. Nhận thấy tiềm năng, ông Chen hợp tác với Axiom để viết lại chứng minh, và kết quả đã được đăng tải trên arXiv, thu hút sự chú ý của cộng đồng khoa học.
AxiomProver: Công Cụ Suy Luận Toán Học Đột Phá
Khác với các mô hình AI phổ thông, AxiomProver được thiết kế đặc biệt để suy luận toán học một cách hệ thống và kiểm chứng kết quả bằng ngôn ngữ chuyên dụng "Lean". Điều này cho phép nó không chỉ tái tạo kiến thức cũ mà còn phát hiện những mối liên hệ mới mà con người có thể bỏ lỡ, từ đó xây dựng các chứng minh hoàn toàn sáng tạo.
Thành công với giả thuyết Chen-Gendron chỉ là một ví dụ điển hình. AxiomProver còn tự giải quyết Giả thuyết Fel, một bài toán liên quan đến công thức của thiên tài toán học Srinivasa Ramanujan từ hơn một thế kỷ trước, cùng với các vấn đề phức tạp trong lý thuyết số và xác suất. Cụ thể:
- Chứng minh thứ ba liên quan đến mô hình xác suất về "ngõ cụt" trong lý thuyết số.
- Chứng minh thứ tư sử dụng công cụ toán học từng áp dụng cho Định lý cuối cùng của Fermat.
Phản Ứng Từ Giới Chuyên Gia Và Tương Lai Của AI
Scott Kominers, giáo sư tại Trường Kinh doanh Harvard, chia sẻ: "Ngay cả với tôi, người đã theo dõi sự phát triển của AI trong toán học nhiều năm, điều này vẫn thật đáng kinh ngạc. Không chỉ là khả năng giải bài toán tự động và được kiểm chứng ngay lập tức, mà còn là sự thanh thoát và vẻ đẹp toán học mà AI tạo ra."
Với Axiom, toán học không còn là mục tiêu đơn thuần mà trở thành lĩnh vực thử nghiệm cho khả năng suy luận và kiểm chứng của AI. Nếu các kỹ thuật này được mở rộng sang phần mềm, an ninh mạng, và các ngành khác, vai trò của AI có thể vượt xa hình ảnh một công cụ hỗ trợ thông thường.
Ông Chen, người trực tiếp chứng kiến giả thuyết của mình được giải quyết, bày tỏ sự lạc quan: "Các nhà toán học không quên bảng cửu chương sau khi máy tính bỏ túi ra đời. Tôi tin AI sẽ đóng vai trò như một công cụ thông minh mới, hay đúng hơn là một 'đối tác thông minh', mở ra những chân trời phong phú và rộng lớn hơn cho nghiên cứu toán học."
Sự kiện này không chỉ khẳng định tiềm năng của AI trong khoa học cơ bản mà còn thúc đẩy các nhà nghiên cứu xem xét lại phương pháp tiếp cận truyền thống, hướng tới một tương lai nơi con người và máy móc cùng hợp tác để khám phá những bí ẩn của vũ trụ số.
