Trí tuệ nhân tạo có thể chuyển các khái niệm toán học viết bằng tiếng Anh thành ngôn ngữ chính thức cho máy tính có thể giúp các AI khác giải quyết vấn đề dễ dàng hơn.
Trí tuệ nhân tạo có thể dịch các bài toán được viết bằng tiếng Anh đơn giản sang mã chính thức, giúp máy tính giải dễ dàng hơn. Đây là một bước quan trọng hướng tới việc xây dựng một cỗ máy có khả năng khám phá các phép toán mới.
Máy tính đã được sử dụng để giải các bài toán trong một thời gian nhất định, nhưng chúng chỉ có thể làm điều đó nếu các bài toán đã được chuẩn bị bằng một ngôn ngữ được thiết kế đặc biệt, thay vì sự kết hợp giữa ký hiệu toán học và văn bản được sử dụng bởi các nhà toán học. Quá trình này, được gọi chuẩn hóa, có thể mất nhiều năm làm việc để hoàn tất. Vì vậy, cho đến hiện tại chỉ một phần nhỏ kiến thức toán học đã được chuẩn hóa và được giải bằng máy tính.
Yuhuai Wu tại Google và các đồng nghiệp của anh ấy đã sử dụng một mạng nơ-ron có tên là Codex do OpenAI tạo ra. Nó đã được đào tạo với một lượng lớn văn bản và dữ liệu lập trình từ web và có thể được các lập trình viên sử dụng để tạo ra mã sử dụng cho máy tính.
Các ngôn ngữ chuẩn hóa có những điểm tương đồng với các ngôn ngữ lập trình, vì vậy nhóm đã quyết định xem liệu Codex có thể chuyển đổi ngân hàng 12.500 bài toán cấp trung học cơ sở hay không.Và nó đã có thể dịch một phần tư tất cả các bài toán sang một định dạng tương thích với một chương trình giải toán có tên Isabelle.
Wu nói, còn nhiều bản dịch không thành công là kết quả của việc hệ thống không hiểu một số khái niệm toán học nhất định.
Để kiểm tra tính hiệu quả của quá trình chuẩn hóa này, nhóm nghiên cứu sau đó đã áp dụng Codex cho một loạt các đề toán đã được chuẩn hóa bởi con người. Codex đã tạo ra các phiên bản chính thức của riêng mình cho những bài toán này và nhóm đã sử dụng một AI khác có tên là MiniF2F để giải quyết cả hai phiên bản.
Các vấn đề tự động hóa bằng Trí tuệ nhân tạo đã cải thiện tỷ lệ thành công của MiniF2F từ 29% lên 35%, cho thấy rằng Codex đã có thể chuẩn hóa các đề toán này tốt hơn con người.
Albert Jiang , thành viên nhóm nghiên cứu tại Đại học Cambridge , cho biết, cải thiện tỷ lệ thành công hơn nữa sẽ cho phép AI cạnh tranh với các nhà toán học con người. “Nếu chúng tôi đạt được 100%, chúng tôi chắc chắn sẽ tạo ra một tác nhân Trí tuệ nhân tạo có thể giành huy chương vàng Olympic Toán quốc tế,” anh nói, đề cập đến giải cao nhất trong một cuộc thi toán hàng đầu.
Mặc dù mục tiêu trước mắt là cải thiện các mô hình tự động hóa và máy giải toán tự động, nhưng có thể có những tác động lớn hơn. Wu nói, các mô hình Trí tuệ nhân tạo có thể khám phá ra những lĩnh vực toán học hiện chưa được con người biết đến.
(Theo Alex Wilkins)
