OpenAI và cuộc đua giành giật các bài toán thế kỷ khiến giới toán học bất bình

🌐 OPENAI VÀ CUỘC ĐUA GIÀNH GIẬT CÁC BÀI TOÁN THẾ KỶ KHIẾN GIỚI TOÁN HỌC BẤT BÌNH

OpenAI đã dành vài năm qua để chinh phục những đỉnh cao ngày càng khó khăn trong lĩnh vực toán học. Tuần này, họ đã giành được một trong những thành tựu lớn nhất từ trước đến nay: giải quyết một bài toán Thiên niên kỷ huyền thoại. Trong hoàn cảnh bình thường, điều này sẽ được ca ngợi là một thành tựu lịch sử.

Thay vào đó, nhiều nhà toán học đã theo dõi sự tiến bước không ngừng của OpenAI với cảm giác ngày càng bất an. Đối với họ, công ty này trông ít giống một người mới đến đầy nhiệt huyết mà giống một kẻ can thiệp có nguồn lực khổng lồ, lao vào những vấn đề mà họ đã dành cả đời để nghiên cứu mà hầu như không màng đến các quy chuẩn lâu đời hay hậu quả để lại cho những người đi trước. Trọng tâm của sự bất an đó là cảm giác rằng OpenAI đang làm toán vì những lý do khác biệt. Các nhà toán học muốn thúc đẩy lĩnh vực này tiến lên. OpenAI muốn chiến thắng.

Toán học thông thường không có kịch tính như vậy, vậy mọi chuyện đã trở nên tồi tệ như thế nào?

Tuần này, The Verge đã trò chuyện với hơn một chục nhà toán học, bao gồm Tristan Buckmaster và Andreas Thom, những người đang đứng ở trung tâm của những tranh cãi gần đây xung quanh công việc của OpenAI trong lĩnh vực này. Ngay cả những người hoài nghi về các cáo buộc nghiêm trọng nhất cũng mô tả một cộng đồng bị lung lay bởi cung cách hành xử của gã khổng lồ công nghệ và sợ hãi trước những gì họ có thể làm tiếp theo trong quyết tâm đè bẹp các đối thủ.

Buckmaster đã cáo buộc OpenAI không giải thích thỏa đáng liệu công việc ông thực hiện thông qua công cụ Codex của họ có đóng góp gì cho những thành công gần đây hay không. Trong một tuyên bố gửi tới The Verge, người phát ngôn của OpenAI là Laurance Fauconnet đã kịch liệt phủ nhận việc tài liệu từ các câu lệnh của ông đóng vai trò nào đó: "Chúng tôi có thể khẳng định chắc chắn rằng các câu lệnh Codex của Tiến sĩ Buckmaster trong hai tháng qua không thể ảnh hưởng đến hệ thống theo bất kỳ cách nào, kể cả quá trình huấn luyện".

Buckmaster vẫn tỏ ra hoài nghi. Ông nói: "Dựa trên hành vi của họ cho đến thời điểm này, người ta nên tiếp nhận những tuyên bố như vậy với sự nghi ngờ lớn".

Toán học thông thường không có kịch tính như vậy, vậy mọi chuyện đã trở nên tồi tệ như thế nào? Chỉ một tin đồn là đủ để làm bùng nổ căng thẳng.

OpenAI cho biết họ nghe tin một số nhà nghiên cứu đang đạt được tiến bộ trong các bài toán Thiên niên kỷ và quyết định xem liệu một trong những mô hình tiên tiến chưa được phát hành của họ có thể tiến lên phía trước hay không. Hóa ra là có thể. OpenAI cho biết họ đã mất khoảng 10.000 tác nhân (agent), chi phí điện tính trị giá hàng chục triệu USD và chỉ mất 88 giờ để tìm ra lời giải cho bài toán Navier-Stokes, vốn liên quan đến chuyển động của chất lưu.

Công ty cũng phát hiện ra đối thủ mà họ đang chạy đua cùng: Buckmaster, một giáo sư tại NYU, và Levent Alpöge, một nhà nghiên cứu tại một trong những đối thủ khốc liệt nhất của họ là Anthropic. Trong số vài hướng nghiên cứu, cả hai đang theo đuổi Navier-Stokes nhưng vẫn chưa hoàn thành xong chứng minh. Một số chi tiết về những gì đã xảy ra sau đó đang bị tranh cãi dữ dội, nhưng cả hai bên đều thống nhất rộng rãi về trình tự cơ bản của các sự kiện. Một điều đặc biệt rõ ràng: sự tham gia của Alpöge là một vấn đề đối với OpenAI, mặc dù ông nói đó là một "sự hợp tác cá nhân" độc lập với công việc của ông tại Anthropic.

Ngay cả những người hoài nghi về các cáo buộc nghiêm trọng nhất cũng mô tả một cộng đồng bị lung lay bởi cung cách hành xử của gã khổng lồ công nghệ và sợ hãi trước những gì họ có thể làm tiếp theo trong quyết tâm đè bẹp các đối thủ.

Buckmaster cho biết ông đã liên hệ với OpenAI sau khi biết công ty này đã nắm được tiến độ của họ và đang chạy đua để tự tìm ra lời giải. Ông cho biết các cuộc thảo luận với nhà nghiên cứu Sébastien Bubeck của OpenAI đã trở nên căng thẳng và theo quan điểm của ông là mang tính đe dọa, nhưng công ty đã đưa ra một con đường tiến bước cho ông — một con đường loại trừ Alpöge. Buckmaster cho biết ông được đề nghị khoản tài nguyên tính toán thực tế là "vô hạn" để hoàn thành công việc của chính mình, và cơ hội trở thành tác giả duy nhất trong bài báo của OpenAI thông báo về bước đột phá, tất nhiên sẽ ghi nhận các công cụ của họ.

Buckmaster chia sẻ trong một cuộc phỏng vấn qua điện thoại với The Verge: "Tất cả những gì tôi phải làm là đẩy Levent vào thế khó". Ông cho biết ông đã thẳng thừng từ chối lời đề nghị của Bubeck, thứ mà ông coi là một "khoản hối lộ", đồng thời bắt đầu đặt câu hỏi liệu OpenAI có hưởng lợi từ việc ông sử dụng Codex hay không, một trong những công cụ AI của công ty mà ông đã sử dụng để giải quyết bài toán. OpenAI đã phủ nhận việc bất kỳ ai — hoặc bất kỳ tác nhân nào — truy cập vào dữ liệu người dùng cụ thể của ông, và cho đến những bình luận gần đây hơn, họ thừa nhận không thể loại trừ khả năng dữ liệu có nguồn gốc từ việc sử dụng sản phẩm của ông đã được dùng để cải thiện mô hình.

Cuối cùng, Buckmaster quyết định công khai cả công việc lẫn câu chuyện về cách hành xử của OpenAI. Ông cho biết văn phòng của mình đã biến thành một "phòng chiến tranh" với các đồng nghiệp giúp soi xét toán học của ông, điều phối việc tiếp cận công chúng và thậm chí liên lạc với các luật sư.

Bubeck đã bác bỏ mô tả của Buckmaster về các cuộc trò chuyện trên mạng xã hội và trong một cuộc phỏng vấn với tờ The New York Times. Ông thừa nhận đã đưa ra các nguồn lực của OpenAI để giúp Buckmaster hoàn thành chứng minh của chính mình hoặc để ông tiếp quản việc viết bài cho công ty. Điểm đáng chú ý là Bubeck cho biết OpenAI đã thực hiện các thỏa thuận tương tự với các nhà toán học khác, dù không nêu tên họ.

Dù vậy, lời kể của ông vẫn làm rõ rằng mối liên hệ của Alpöge với Anthropic là một điểm nghẽn. Ông nói với tờ Times: "Từ góc độ của chúng tôi, làm sao chúng tôi có thể có một dự án nội bộ của OpenAI với một nhân viên của Anthropic?"

Nếu mục tiêu là cạnh tranh trong toán học, có rất ít chiếc cúp danh giá hơn việc giải quyết một bài toán Thiên niên kỷ. Bảy bài toán do Viện Toán học Clay đặt ra vào năm 2000, được coi là những thách thức khó khăn nhất trong lĩnh vực này. Mỗi bài toán đi kèm khoản tiền thưởng 1 triệu USD cho bất kỳ ai giải được nó. Nhiều bài toán đã trải qua nhiều thập kỷ nghiên cứu gay gắt vào thời điểm các giải thưởng được thiết lập. Trong một phần tư thế kỷ kể từ đó, chỉ có một bài toán — giả thuyết Poincaré, một bài toán tô-pô liên quan đến các mặt cầu ba chiều — bị khuất phục.

Đối với một công ty AI muốn chứng minh rằng các mô hình của họ là giỏi nhất về toán học, những bài toán này là mục tiêu không thể cưỡng lại. Đối với Buckmaster và nhiều nhà toán học khác mà The Verge đã trò chuyện, điều đó giúp giải thích tại sao OpenAI hành động mãnh liệt như vậy khi nghe tin những người khác đang tiến đến gần — đặc biệt là khi một công ty AI đối thủ xuất hiện.

Đối với Buckmaster, tập phim này củng cố thêm điều mà ông đã tin tưởng mạnh mẽ từ một khoảng thời gian hợp tác trước đây với Google DeepMind: "Tất cả những người công nghệ này đều ám ảnh" với việc giải quyết các bài toán nổi tiếng lớn và "ám ảnh với việc hớt tay trên", ông nói. "Tất cả chỉ xoay quanh sự cạnh tranh".

Trong thế giới đó, Tristan Buckmaster cho biết có một sự cố chấp mãnh liệt đối với uy tín, danh FAME, việc đứng đầu và việc được nhìn nhận là người đứng đầu. Ông nói: "Đó là thứ tiền tệ duy nhất".

Ông cho biết điều thường bị "lãng quên" khi các công ty chạy đua giải quyết các bài toán nổi tiếng chính là bản thân các nhà toán học — không chỉ những người có công trình tích lũy tạo nên những bước đột phá này, mà còn là lý do tại sao họ làm toán ngay từ đầu. Vâng, một số người có thể theo đuổi uy tín, nhưng hầu hết không phải là những kẻ săn lùng danh hiệu. Andras Juhasz, giáo sư toán học tại Đại học Oxford, mô tả toán học là một bộ môn thanh lịch vừa mang tính khoa học, vừa mang tính nghệ thuật, với nhiều động lực khác nhau thúc đẩy những người làm việc ở đó. Ông nói: "Thường thì không có ứng dụng thực tế ngay lập tức. Họ làm điều đó vì nó đẹp. Họ tận hưởng nó. Đó là cảm giác khám phá. Nó rất tự nhiên".

Không giống như các bài tập toán học cấp lớp học, toán học biên giới hiếm khi có một con đường được vạch sẵn để đi đến câu trả lời. Các nhà nghiên cứu có thể tấn công các vấn đề từ bất kỳ góc độ nào, một số góc độ hoàn toàn khác biệt, điều này làm cho các ý tưởng dẫn đến lời giải — và ai là người phát triển chúng — trở nên đặc biệt quan trọng, có lẽ còn quan trọng hơn việc giải quyết chính bài toán đó. Các nhà toán học rất quan tâm đến dòng dõi này vì đó là cách lĩnh vực này mở rộng, với các kỹ thuật và phương pháp mới thường chứng minh được tầm quan trọng lớn hơn chính bài toán mà chúng được thiết kế để giải quyết.

Đối với Buckmaster, các cuộc trao đổi của ông với Bubeck minh chứng cho khoảng cách ngăn cách giữa thế giới toán học nghiên cứu và Big Tech, đồng thời làm nổi bật những điểm khác biệt giữa những gì được coi là có giá trị trong nghiên cứu. Đọc từ các ghi chú ông đã ghi lại khi trò chuyện với Bubeck, ông cho biết nhà nghiên cứu của OpenAI rõ ràng đã...

🗞 Nguồn: The Verge

#vgsnews #vgs #tintuc