OpenAI đã công bố việc giải quyết một trong những Bài toán Thiên niên kỷ — vấn đề về sự tồn tại và tính trơn của các nghiệm của phương trình Navier-Stokes — bằng cách sử dụng hệ thống AI nội bộ và khoảng 10 nghìn tác nhân tự hành làm việc trong 88 giờ. Công ty đã chi hàng triệu đô la cho các tài nguyên tính toán và xác minh kết quả bằng ngôn ngữ Lean. Đây là trường hợp đầu tiên AI tuyên bố giải được một trong bảy bài toán với giải thưởng một triệu đô la từ Viện Toán học Clay.
Tuy nhiên, ngay sau thông báo, một cuộc tranh chấp gay gắt về quyền tác giả đã nảy sinh. Các nhà toán học Tristan Buckmaster từ Đại học New York và Levent Alpöge từ Anthropic một tháng trước đó đã đạt được tiến bộ đáng kể trong các khía cạnh liên quan của vấn đề, tích cực sử dụng các công cụ AI, bao gồm cả Codex của OpenAI. Buckmaster trong một tuyên bố công khai đã chỉ ra rằng OpenAI có thể đã truy cập vào các bản thảo của họ thông qua các cuộc trò chuyện hoặc việc huấn luyện mô hình, mặc dù công ty kiên quyết phủ nhận điều này, khẳng định rằng dữ liệu của người dùng không được sử dụng.
Tình hình trở nên phức tạp hơn bởi đề xuất của OpenAI về một ấn phẩm chung, trong đó Alpöge bị đề nghị loại khỏi danh sách tác giả vì công việc của ông tại một công ty đối thủ. Buckmaster đã từ chối, và các cuộc đàm phán trở nên căng thẳng. Đây không chỉ là một cuộc xung đột cá nhân: nó bộc lộ những vấn đề mang tính hệ thống khi các phòng thí nghiệm thương mại với nguồn lực khổng lồ tham gia vào cuộc đua giành các kết quả cơ bản, dựa trên công việc của các nhà nghiên cứu độc lập.
Về mặt kỹ thuật, cách tiếp cận của OpenAI — mở rộng quy mô của nhiều tác nhân để tìm kiếm điểm kỳ dị trong các phương trình Navier-Stokes ba chiều — khác với chứng minh truyền thống của con người. Trước đó, tiến bộ dựa trên các công trình của Diego Cordoba và Luis Martinez-Zoroa, những người mà Buckmaster và Alpöge đã phát triển tiếp với sự trợ giúp của AI. OpenAI đã dồn vào bài toán sức mạnh tính toán chưa từng có, cho phép "phá vỡ" vấn đề trong vài ngày thay vì nhiều năm.
Phương pháp luận gây ra những câu hỏi về khả năng tái lập và tính khái quát hóa. Mặc dù kết quả đã được hình thức hóa trong Lean, việc kiểm chứng độc lập bởi cộng đồng vẫn còn ở phía trước. Không rõ cách tiếp cận này có thể mở rộng quy mô cho các Bài toán Thiên niên kỷ khác đến mức nào hoặc liệu nó có yêu cầu các gợi ý đặc thù mà các nhà nghiên cứu bình thường không thể tiếp cận được hay không. So sánh với những thành công trước đây của AI trong toán học, chẳng hạn như việc giải các bài toán của Erdős, cho thấy quy mô ở đây là khác biệt: không phải là một phương pháp kinh nghiệm riêng lẻ, mà là một cuộc tấn công ồ ạt của các tác nhân.
Trong bối cảnh chung, sự kiện này tương phản với các công trình của Anthropic và các phòng thí nghiệm khác, nơi AI được sử dụng như một công cụ tăng cường trí tuệ con người chứ không phải để thay thế. OpenAI nhấn mạnh rằng họ sẽ không nhận giải thưởng, nhưng bản thân việc công bố đã làm thay đổi động lực: giờ đây các công ty lớn có thể "đóng lại" các vấn đề mở nhanh hơn các nhóm học thuật, điều này đặt ra câu hỏi về các cơ chế truyền thống về quyền ưu tiên và trích dẫn.
Hệ quả đối với lĩnh vực này là rất đáng kể. Các nhà toán học, bao gồm cả những người đoạt giải Fields, đã bày tỏ lo ngại về sự không khớp về mục tiêu: các công ty theo đuổi những chiến thắng công khai, trong khi khoa học coi trọng sự tiến bộ dần dần và mang tính cộng tác. Điều này có thể dẫn đến việc các nhà nghiên cứu che giấu các kết quả trung gian hoặc tránh sử dụng các công cụ AI thương mại.
Các câu hỏi còn bỏ ngỏ bao gồm: liệu chứng minh có được Viện Toán học Clay chấp nhận hay không, cách phân chia công trạng chính xác giữa con người và các tác nhân AI như thế nào, và liệu một cuộc đua như vậy có dẫn đến sự phân mảnh của cộng đồng hay không. Cần có các giao thức mới để theo dõi đóng góp trong các nghiên cứu có sự hỗ trợ của AI.
Cuối cùng, trường hợp này cho thấy việc tăng tốc các khám phá toán học bằng AI đòi hỏi phải đồng thời xem xét lại các chuẩn mực về quyền tác giả và đạo đức, nếu không niềm tin trong cộng đồng sẽ bị đe dọa.
