Sau gần một năm làm việc và đạt được bước đột phá vào ngày 15 tháng 8, Tristan Buckmaster và Levent Alpöge đã vội vã công bố kết quả nghiên cứu của riêng họ về bài toán Navier-Stokes
Tổng quan sự kiện
Toàn cảnh do AI tổng thuật
Giáo sư toán học Tristan Buckmaster tại Đại học New York đã hợp tác cùng nhà toán học Levent Alpöge của Anthropic để nghiên cứu phương trình Navier-Stokes – một trong bảy bài toán thiên niên kỷ của Viện Toán học Clay – trong gần một năm, thông qua việc sử dụng các mô hình AI như Codex của OpenAI (chủ yếu là GPT-5.6 Sol) và Claude của Anthropic. Ngày 15/8, họ đã đạt được bước đột phá và công bố ba kết quả chứng minh, trong đó có một kết quả đạt được tiến triển ban đầu đối với vấn đề tồn tại và tính trơn của phương trình Navier-Stokes. Dù những thành tựu này có ý nghĩa quan trọng, Buckmaster đã cáo buộc OpenAI có hành vi không chính đáng.
Buckmaster cho rằng trước khi kết quả của họ được công khai, một nghiên cứu song song của OpenAI đã được xây dựng dựa trên công trình của nhóm ông. Ông chỉ ra rằng hướng nghiên cứu "thông qua lực trơn" (through-force smoothing) mà họ chọn là một hướng đi rất hẹp, gần như không có ai nghiên cứu, vì vậy ông cảm thấy nghi ngờ về việc OpenAI áp dụng cùng một hướng đi trong thời gian ngắn như vậy. Buckmaster cũng cáo buộc Sébastien Bubeck của OpenAI từng yêu cầu ông loại bỏ tên cộng sự Alpöge khỏi danh sách tác giả như một phần của phương án thỏa hiệp, với lý do Alpöge đang làm việc cho đối thủ cạnh tranh là Anthropic. Ngoài ra, khi Buckmaster chất vấn OpenAI liệu các mô hình của họ có truy cập hoặc được huấn luyện trên các bản thảo mà nhóm đã nhập vào Codex hay không, OpenAI phản hồi rằng mô hình không xem dữ liệu người dùng, nhưng không trả lời trực tiếp về vấn đề dữ liệu huấn luyện.
Về phía OpenAI, họ tuyên bố không tiếp cận công trình của Buckmaster và Alpöge thông qua bất kỳ kênh nào. Hiện tại, kết quả nghiên cứu của Buckmaster và Alpöge vẫn chưa được công bố và chưa qua kiểm chứng chính thức. Trọng tâm của vụ tranh cãi nằm ở việc liệu OpenAI có chiếm đoạt hoặc lợi dụng trái phép các tiến triển nghiên cứu chưa công khai của nhóm Buckmaster hay không.
Tổng thuật do AI tổng hợp từ toàn bộ bài đưa tin, cập nhật theo diễn biến · làm mới T5 · 10/09 · 13:51.
Diễn biến mới nhất
Xem chi tiết toàn cảnh sự việc tại đây.
Dòng thời gian đưa tin
Đang hiện 9 bài · tất cả · mới trước
T4 · 09/09
Giáo sư Đại học New York đặt nghi vấn OpenAI lợi dụng nghiên cứu của ông để giành quyền công bố lời giải bài toán Navier-Stokes
IT HomeGiáo sư Tristan Buckmaster tại Đại học New York và nhà toán học Levent Alpöge từ Anthropic đã đạt được những tiến bộ ban đầu về bài toán tồn tại và tính trơn của phương trình Navier-Stokes bằng cách sử dụng Codex và Claude. Sau đó, OpenAI đã công bố lời giải hoàn chỉnh cho bài toán thuộc nhóm "Giải thưởng Thiên niên kỷ" này, khẳng định lời giải được tìm ra bởi một mô hình thế hệ mới chưa phát hành. Nghiên cứu bắt đầu từ ngày 1 tháng 9, tiêu tốn tổng cộng 300 tỷ token đầu ra, với chi phí ước tính khoảng 22,5 triệu USD dựa trên giá của Astra.
Simon Willison bình luận về tranh cãi giữa OpenAI và Anthropic đằng sau việc giải bài toán Thiên niên kỷ Navier-Stokes
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)Simon Willison bình luận về việc OpenAI sử dụng mô hình chưa phát hành để giải bài toán tồn tại và tính trơn của phương trình Navier-Stokes trong khoảng 88 giờ, đồng thời hoàn tất 17 giờ xác thực hình thức bằng Lean thông qua GPT-6 Astra.
OpenAI tuyên bố sử dụng khoảng 10.000 AI agent để giải quyết bài toán Navier-Stokes trong 88 giờ, Terence Tao lên tiếng khen ngợi nhưng cũng bày tỏ lo ngại
IT HomeNgày 8/9, OpenAI thông báo mô hình nội bộ chưa công bố (có hiệu năng vượt xa GPT-6 Astra) đã giải được bài toán tồn tại và tính trơn của phương trình Navier-Stokes, một trong bảy bài toán Thiên niên kỷ. Thông qua sự phối hợp của khoảng 10.000 AI agent, mô hình này đã tạo ra lời giải trong khoảng 88 giờ, chứng minh rằng dòng chảy trơn ban đầu có thể xuất hiện điểm kỳ dị trong thời gian hữu hạn.
Simon Willison bình luận về cuộc tranh cãi xoay quanh việc OpenAI sử dụng mô hình chưa phát hành để giải bài toán Giải thưởng Thiên niên kỷ Navier-Stokes
Simon Willison BlogOpenAI đã đưa ra lời giải cho bài toán tồn tại và tính trơn của phương trình Navier-Stokes (một trong bảy bài toán Thiên niên kỷ) trong khoảng 88 giờ bằng mô hình chưa phát hành, đồng thời hoàn tất 17 giờ xác thực hình thức bằng Lean thông qua GPT-6 Astra. Toàn bộ quá trình đã gửi 4,9 triệu tin nhắn và tiêu tốn khoảng 300 tỷ token đầu ra.
Nhà toán học tại NYU cáo buộc OpenAI vội vàng công bố chứng minh về Navier–Stokes và gây áp lực, OpenAI phản hồi bằng cách công bố chứng minh đầy đủ
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)Giáo sư toán học Tristan Buckmaster tại NYU đã hợp tác cùng nhà toán học Levent Alpöge từ Anthropic, sử dụng các mô hình Codex và Claude để đạt được chứng minh mang tính giai đoạn cho bài toán trơn Navier–Stokes.
OpenAI tuyên bố giải quyết thành công bài toán Navier-Stokes, làm dấy lên tranh cãi về việc sử dụng dữ liệu
The Verge: AITrong bài đăng trên blog, OpenAI cho biết họ đã sử dụng một mô hình AI nội bộ được huấn luyện từ ngày 28 tháng 8, kết hợp với 10.000 tác nhân (agent) đồng thời để tìm ra lời giải cho bài toán Navier-Stokes vốn tồn tại suốt 90 năm qua. Đây là một trong những bài toán thuộc hệ thống Millennium Prize Problems với giải thưởng 1 triệu USD cho mỗi lời giải, tuy nhiên OpenAI tuyên bố sẽ không nhận số tiền thưởng này.
OpenAI sử dụng đa tác nhân để chinh phục bài toán Thiên niên kỷ Navier-Stokes, tác giả so sánh với các sự cố xâm nhập của tác nhân trước đây
X: Ma Dongxi NLP (@dongxi_nlp)OpenAI tuyên bố đã đưa ra lời giải cho bài toán Thiên niên kỷ Navier-Stokes dựa trên một nhóm tác nhân sử dụng mô hình thế hệ tiếp theo mạnh hơn GPT-6 Astra. Bài toán này xoay quanh việc liệu chuyển động của chất lưu ba chiều trơn tru có bị mất ổn định hay không, một vấn đề đã bị bỏ ngỏ trong khoảng 90 năm qua.
Nhà toán học tại NYU cáo buộc OpenAI cạnh tranh không lành mạnh trong cuộc đua giải bài toán Thiên niên kỷ, Bubeck phủ nhận
TechCrunch: AIGiáo sư toán học Tristan Buckmaster tại NYU và nhà toán học Levent Alpöge từ Anthropic đã công bố kết quả sơ bộ cho ba chứng minh liên quan đến bài toán Thiên niên kỷ về sự tồn tại và tính trơn của phương trình Navier-Stokes. Họ cho biết thông tin về tiến độ nghiên cứu đã bị rò rỉ sang OpenAI, khiến công ty này sử dụng lượng lớn tài nguyên tính toán để chạy đua theo hướng tiếp cận độc quyền của họ.
Nhà toán học Buckmaster cho biết OpenAI đã gây áp lực, yêu cầu loại bỏ các cộng sự đang làm việc tại Anthropic ra khỏi bài báo nghiên cứu về Navier-Stokes
The Decoder: AI NewsNhà toán học Tristan Buckmaster công khai lên tiếng, cáo buộc OpenAI gây áp lực sau khi ông cùng Levent Alpöge đạt được tiến bộ trong việc giải phương trình Navier-Stokes nhờ sự hỗ trợ của Claude, Codex và GPT-5.6 Sol.