Tranh cãi về phương trình Navier-Stokes: OpenAI rút tài trợ hackathon sau làn sóng phản đối từ giới toán học

Theo Business Insider đưa tin vào ngày 11 tháng 9 theo giờ Bắc Kinh, bài toán hóc búa mới nhất mà OpenAI đang cố gắng giải quyết chính là một nhóm các nhà toán học đang phẫn nộ.

Một nhà nghiên cứu tại OpenAI cho biết hôm thứ Năm rằng công ty này sẽ không còn tài trợ cho sự kiện "Math Hackathon" của Caltech (Viện Công nghệ California). Sự kiện này cho phép những người tham gia sử dụng các mô hình ngôn ngữ lớn (LLM) để giải quyết các vấn đề nghiên cứu.

Ngay trước khi OpenAI rút lui khỏi sự kiện, các nhà toán học hiện tại và cựu sinh viên của Caltech đã công bố một bức thư ngỏ vào thứ Tư, cho rằng sự kiện do các công ty AI tài trợ này "có thể gây ra tác động tiêu cực đến cộng đồng toán học".

Dan Roberts, trưởng nhóm nghiên cứu tại OpenAI, cho biết: "Chúng tôi nhận thấy những tiến bộ nhanh chóng của AI trong lĩnh vực toán học có tính chất đột phá. Chúng tôi hy vọng sẽ có thêm nhiều sự kết nối với cộng đồng toán học để thảo luận về cách tích hợp công nghệ này một cách tốt nhất và truyền tải những tác động của nó."

Anthropic và OpenAI đã đồng ý hỗ trợ sự kiện này thông qua việc tài trợ hạn mức sử dụng AI trị giá 2 triệu USD. Tính đến thứ Năm, vẫn chưa rõ bao nhiêu token trong số đó do OpenAI cung cấp và những token này sẽ được xử lý như thế nào.

Các nhà toán học chỉ ra rằng vấn đề nằm ở chỗ các công ty AI tuyên bố đã giải quyết được các bài toán lý thuyết hóc búa bằng mô hình của họ, sau đó để lại các ứng dụng thực tế và việc chứng minh cho các nhà nghiên cứu thực thụ thực hiện. Cách làm này bị họ gọi là "toán học rác" (junk math).

"Ngay khi các kết quả mới nhất được công bố, các nhà toán học nghiên cứu buộc phải can thiệp để xác minh và truyền bá những kết quả được tuyên bố này một cách thỏa đáng, đôi khi còn phải bác bỏ hoàn toàn chúng. Công việc này không được trả lương, không được ghi công và cũng không được công nhận", các nhà toán học cho biết.

Làn sóng tranh cãi lên đến đỉnh điểm vào thứ Ba: OpenAI tuyên bố các tác nhân (agent) thông minh của họ đã giải được phương trình Navier-Stokes. Bộ công thức toán học có lịch sử 90 năm này có thể được sử dụng để dự đoán chuyển động của chất lỏng và chất khí.

Tristan Buckmaster, nhà toán học tại Đại học New York, cùng một học giả khác đã công bố nghiên cứu về vấn đề này vào thứ Hai. Ông cho biết vào thứ Ba rằng OpenAI có thể đã sử dụng các cuộc trò chuyện giữa ông và các chatbot AI (bao gồm cả OpenAI) để cuối cùng đưa ra lời giải này. OpenAI cho biết không thể loại trừ khả năng "dữ liệu đã khử định danh giúp cải thiện mô hình của chúng tôi", những dữ liệu được tạo ra trong quá trình các nhà toán học như Buckmaster sử dụng sản phẩm của OpenAI.

Các nhà toán học cũng cho biết họ tin rằng sự kiện tại Caltech sẽ trở thành công cụ tuyên truyền không công bằng cho các công ty AI, những công ty "sẽ chiếm đoạt nỗ lực của các sinh viên đại học tài năng làm của riêng".

Theo giới thiệu trên trang đăng ký sự kiện, "Math Hackathon" được quảng bá là sân chơi thực tế cho các nhà toán học trẻ, cho phép họ "sử dụng các công cụ AI một cách có trách nhiệm để nâng cao hiểu biết của nhân loại về toán học".

Nhiều người trong số các nhà tổ chức sự kiện là sinh viên đại học. Trong một bức thư phản hồi vào thứ Năm, họ cho biết không có ý định gây ra làn sóng tranh cãi lớn như vậy. Các nhà tổ chức viết: "Những sự kiện như Math Hackathon khuyến khích người trẻ duy trì niềm đam mê với toán học, khơi dậy sự hứng thú của họ bằng các công cụ hiện đại và giữ vững hy vọng trong một thời đại đầy hoang mang. Đây là lần đầu tiên chúng tôi tổ chức một sự kiện quy mô như vậy và chúng tôi trân trọng mọi phản hồi nhận được."

Theo thiết kế của sự kiện, những người tham gia Math Hackathon sẽ tham gia vòng đầu tiên, họ có 40 giờ và hạn mức token AI trị giá 20.000 USD để giải quyết một bài toán chưa có lời giải. Sau đó, một số đội nhất định sẽ lọt vào vòng hai. Các câu trả lời do các đội này nộp phải "có tiềm năng và giải thích rõ ràng". Các đội lọt vào vòng trong sẽ có 6 tháng cùng với hạn mức token AI bổ sung để tiếp tục nghiên cứu.

Anthropic, một nhà tài trợ khác của sự kiện, hiện chưa đưa ra bình luận về vấn đề này.

Đọc thêm:

"AI giải quyết bài toán hóc búa, giáo sư Đại học New York nghi ngờ OpenAI 'nẫng tay trên' kết quả nghiên cứu của mình"

"Kết quả toán học của mô hình AI thế hệ tiếp theo Astra của OpenAI bị cáo buộc đạo nhái"

"Đều là những bài toán chưa có lời giải trên 10 năm: OpenAI công bố 10 tiến bộ của mô hình thế hệ tiếp theo Astra trong lĩnh vực toán học và các lĩnh vực khác, chi phí Token khoảng 2.000 USD"

"Chỉ trong một giờ, OpenAI GPT-5.6 Sol Ultra đã chứng minh được một giả thuyết toán học có lịch sử 50 năm"

"Sau OpenAI, Claude AI của Anthropic cũng giải được bài toán toán học 80 năm tuổi này"

"Sau khi Claude cố gắng giải quyết giả thuyết Riemann: OpenAI tuyên bố sử dụng 10.000 tác nhân AI để giải quyết bài toán giải thưởng Thiên niên kỷ trong 88 giờ, Terence Tao vừa khen ngợi vừa lo ngại"