OpenAI tuyên bố mô hình AI giải quyết hơn 100 bài toán hóc búa chỉ sau một tháng huấn luyện

Đối mặt với sự chỉ trích ngày càng tăng từ các nhà toán học, OpenAI đang thành lập một nhóm cố vấn độc lập gồm các nhà nghiên cứu hàng đầu trong lĩnh vực này. Tuy nhiên, họ không quên thông báo với mọi người rằng một mô hình nội bộ mới đã giải quyết được hơn 100 bài toán hóc búa tồn tại lâu năm chỉ sau một tháng huấn luyện.

OpenAI cho biết một mô hình nội bộ mới đã giải quyết hơn 100 bài toán tồn tại lâu năm trong hầu hết các lĩnh vực toán học, bên cạnh bài toán Thiên niên kỷ Navier-Stokes. Công ty đã đưa ra tuyên bố này khi công bố nhóm cố vấn toán học mới.

Theo OpenAI, quá trình huấn luyện chỉ mới bắt đầu vào ngày 28 tháng 8, nghĩa là toàn bộ quá trình chỉ kéo dài khoảng một tháng. Ngay cả các nhà toán học của chính công ty cũng cảm thấy "ngạc nhiên" trước tốc độ tiến triển nhanh chóng này, và các cuộc thảo luận nội bộ đã chuyển hướng sang việc làm thế nào để đưa ra cảnh báo đủ sớm cho cộng đồng học thuật chuẩn bị. Trong số các bài toán đã được giải quyết, có thông tin cho rằng bao gồm cả bài toán Thiên niên kỷ thứ hai: giả thuyết Hodge.

Những bài toán nào mà mô hình thực sự đã giải quyết, cách thức giải quyết và kết quả đó có ý nghĩa gì đối với toán học và khoa học vẫn còn là những câu hỏi bỏ ngỏ. Lời giải cho bài toán Navier-Stokes được công bố đã gây ra cuộc tranh luận gay gắt trong một bộ phận cộng đồng khoa học.

Toàn bộ sự việc này dường như là một bước chuyển hướng. Giám đốc khoa học Jakub Pachocki gần đây cho biết nhóm đã cố tình chọn không tối ưu hóa cho toán học mà thay vào đó tập trung vào khả năng tự cải thiện đệ quy. Những người hoài nghi có thể coi việc quảng bá xung quanh việc giải các bài toán toán học nổi tiếng là một chiêu trò để giữ chân các nhà đầu tư và thu hút những nhà đầu tư mới, đặc biệt là khi OpenAI thừa nhận họ chỉ bắt tay vào giải bài toán Thiên niên kỷ sau khi nghe tin đồn rằng một nhóm khác, bao gồm một phần là các nhà nghiên cứu của Anthropic, đã giải được nó.

Giải được bài toán không đồng nghĩa với việc thấu hiểu chúng

Thông báo của OpenAI là phản ứng trực tiếp trước những chỉ trích từ các nhà toán học. Trong bức thư ngỏ "Sự lệch lạc nghiêm trọng của AI trong toán học", họ cảnh báo về việc đo lường hiệu suất AI dựa trên số lượng các bài toán mở mà nó có thể giải quyết. Họ lập luận rằng việc tạo ra các lời giải hàng loạt làm suy yếu sự hiểu biết về mặt khái niệm – vốn là mục đích cốt lõi của toán học – và cuối cùng đe dọa đến trí tuệ con người.

OpenAI cho biết họ hiện đang làm việc với các nhà toán học đã thành lập Nhóm Cố vấn về Toán học và Trí tuệ Nhân tạo, đặt trụ sở tại Viện Nghiên cứu Cao cấp (Institute for Advanced Study). Nhóm này nhằm mục đích kết nối công ty với cộng đồng toán học và công chúng rộng rãi hơn.

Công ty lập luận rằng họ cần sự hướng dẫn này vì những đột phá trong toán học có thể mang lại những ứng dụng thực tiễn sâu rộng, khiến việc phát triển có trách nhiệm trở thành mối quan tâm vượt xa khỏi phạm vi của chính lĩnh vực này. OpenAI gọi sự hợp tác này là "bước đi đầu tiên", với rất nhiều "câu hỏi khó khăn phía trước về cách AI có thể hỗ trợ sự hiểu biết toán học và làm thế nào để những lợi ích từ các khả năng này có thể tiếp cận cộng đồng rộng lớn hơn".

OpenAI vẫn giữ quyền kiểm soát tốc độ nghiên cứu

OpenAI khẳng định nhóm sẽ hoạt động độc lập. Các thành viên có thể đưa ra lời khuyên mà không cần được yêu cầu, phát biểu công khai về ảnh hưởng của công ty đối với toán học và công bố các khuyến nghị của họ. OpenAI không trả lương cho họ và họ có quyền quyết định ai sẽ tham gia nhóm.

Tuy nhiên, nhóm không được phép kiểm soát tốc độ phát triển của OpenAI. Công ty viết: "Quan trọng là nhóm sẽ không chịu trách nhiệm tư vấn cho chúng tôi về cách điều tiết tiến độ nội bộ trong lĩnh vực toán học". Nhóm có tiếng nói trong việc chia sẻ kết quả, chứ không phải về việc liệu chúng có được tạo ra hay không hoặc tạo ra nhanh đến mức nào.

Gowers tham gia nhóm nhưng sẽ không ký vào bức thư

Một trong những thành viên sáng lập của nhóm là Timothy Gowers, nhà toán học lỗi lạc và là người từng đoạt Huy chương Fields. Ông đã không ký vào bức thư ngỏ của 25 người đoạt Huy chương Fields và đã trình bày lý do trên blog cá nhân.

Gowers đồng tình với phần lớn nội dung bức thư và cho rằng toán học đang gặp rắc rối. Điểm khác biệt trong quan điểm của ông nằm ở mục đích thực sự của toán học. Bức thư coi sự hiểu biết về khái niệm là mục tiêu chính, còn việc giải quyết bài toán chỉ là phương tiện để đạt được mục tiêu đó. Gowers nhìn nhận theo một phổ: "Ở một đầu của phổ, bạn có những nhà toán học chủ yếu được thúc đẩy bởi mong muốn giải quyết các bài toán, những người coi sự hiểu biết về khái niệm là phương tiện rất quan trọng để đạt được mục đích đó. Ở đầu kia, bạn có những nhà toán học chủ yếu được thúc đẩy bởi mong muốn đạt được sự hiểu biết về khái niệm, những người coi việc giải quyết bài toán là phương tiện rất quan trọng để đạt được mục đích đó."

Gowers cho biết dự án nghiên cứu của riêng ông về chứng minh định lý tự động tại Cambridge đã mất đi lý do tồn tại ngay khi các mô hình ngôn ngữ lớn (LLM) trở nên đủ giỏi. "Nói cách khác, chúng ta đã phải nuốt trôi bài học cay đắng (điều mà tất nhiên chúng ta luôn biết là một khả năng rõ ràng, ngay cả khi tốc độ xảy ra của nó khiến chúng ta bất ngờ)."

Rủi ro thực sự là sẽ không còn ai muốn trở thành nhà toán học nữa

Điều khiến Gowers lo lắng nhất là các cấu trúc xã hội duy trì tri thức toán học có thể sụp đổ. Những người từng theo đuổi bằng Tiến sĩ và trở thành "người gìn giữ truyền thống toán học" có thể đơn giản quyết định rằng điều đó không còn xứng đáng nữa.

"Nói về bản thân tôi, động lực chính để tôi trở thành một nhà toán học là ước mơ giải được những bài toán chưa có lời giải — càng nổi tiếng càng tốt." Nếu lấy đi ước mơ đó, không rõ điều gì sẽ lấp đầy khoảng trống này.

Ngoài ra còn có vấn đề về tài trợ. Các nhà hoạch định chính sách có thể nhìn vào toán học dựa trên AI và quyết định rằng các nhà toán học con người là dư thừa. Gowers viết: "Chúng ta cần khẩn trương tìm ra những cách tốt để giải thích giá trị của việc duy trì một đội ngũ chuyên gia toán học con người đông đảo, ngay cả khi việc tìm ra các chứng minh định lý mới không còn là vai trò của họ nữa."

Ông cũng không ký vào bức thư vì không thể tìm ra yêu cầu nào trong đó mà chưa được thực hiện. Ông dự đoán rằng các LLM có khả năng giải quyết các bài toán toán học lớn sẽ được công khai trong vài tháng tới. "Vì vậy, tôi cảm thấy không có lợi ích gì khi chỉ trích các công ty AI vì đã tạo ra quá nhiều lời giải quá nhanh."

Tin tức AI không cường điệu – Được tuyển chọn bởi con người

Đăng ký THE DECODER để đọc không quảng cáo, nhận bản tin AI hàng tuần, báo cáo độc quyền "AI Radar" về các công nghệ tiên phong sáu lần mỗi năm, quyền truy cập toàn bộ kho lưu trữ và phần bình luận.

Đăng ký ngay