Sebastian Bubeck, người đứng đầu bộ phận nghiên cứu toán học tại OpenAI, đã bác bỏ tuyên bố của Buckmaster, gọi đó là thông tin "sai lệch và mang tính kích động". Ông khẳng định bản thân luôn tuân thủ các quy chuẩn học thuật và cho biết sẽ sớm đưa ra một tuyên bố đầy đủ hơn
Tổng quan sự kiện
Tóm tắt sự kiện · Tổng hợp tự động
OpenAI được cho là đã tuyên bố AI của họ đã giải được bài toán Thiên niên kỷ Navier-Stokes. Nhà toán học Buckmaster cáo buộc rằng sau khi thông tin bị rò rỉ, OpenAI đã chạy đua để giành quyền ưu tiên, đồng thời yêu cầu ông loại bỏ các cộng sự đang làm việc tại Anthropic. Hiện tại, kết quả thực tế đã được xác minh chỉ liên quan đến các vấn đề lân cận của Navier-Stokes; bản chứng minh dài 100 trang của OpenAI vẫn chưa được công bố và công ty này chưa đưa ra phản hồi về các cáo buộc.
Dựng tự động từ bài đưa tin sớm nhất (X: AI Safety Memes (@AISafetyMemes)); xem dòng thời gian bên dưới để nắm diễn biến.
Diễn biến mới nhất
Viện Toán học Clay tuyên bố bài toán giải thưởng Thiên niên kỷ Navier-Stokes đã "được giải quyết rõ ràng"
Dòng thời gian đưa tin
Đang hiện 20 bài · tất cả · mới trước
T2 · 14/09
Viện Toán học Clay tuyên bố bài toán giải thưởng Thiên niên kỷ Navier-Stokes đã "được giải quyết rõ ràng"
The Decoder: AI NewsViện Toán học Clay (CMI) cho biết bài toán Navier-Stokes, một trong bảy bài toán giải thưởng Thiên niên kỷ được thiết lập từ năm 2000, đã "được giải quyết rõ ràng". Bài toán này có mức tiền thưởng 1 triệu USD, đặt ra câu hỏi liệu các phương trình chuyển động của chất lưu trong không gian ba chiều có luôn tồn tại nghiệm trơn và hoàn chỉnh hay không; hiện lời giải đang trong quá trình thẩm định.
CN · 13/09
Sam Altman bàn về bước tiến vượt bậc của AI trong toán học sau 3 năm: Từ toán tiểu học đến các bài toán giải thưởng Thiên niên kỷ
X: Rohan Paul (@rohanpaul_ai)Trong cuộc phỏng vấn với Tổng biên tập Alyson Shontell của tạp chí Fortune, Sam Altman cho biết năng lực toán học của AI đã tăng trưởng theo cấp số nhân trong 3 năm qua: 3 năm trước, AI thậm chí chưa giải tốt toán tiểu học; 2 năm trước, nó đạt điểm cao trong kỳ thi AIME; 1 năm trước, nó giành huy chương vàng IMO một cách chật vật; và đến mùa hè năm nay, nó đã giải được các bài toán thuộc giải thưởng Thiên niên kỷ. Ông cho rằng nếu tiếp tục ngoại suy đường cong này thêm 4 lần nữa, đó chính là viễn cảnh mà mọi người đang lo ngại.
T7 · 12/09
Bài viết chuyên sâu trên The Verge: OpenAI giải quyết bài toán Navier-Stokes trong 88 giờ, gây ra cuộc khủng hoảng niềm tin trong giới toán học
The Verge: AIThe Verge đã phỏng vấn hơn 10 nhà toán học để làm rõ những tranh cãi xoay quanh việc OpenAI sử dụng khoảng 10.000 agent, tiêu tốn hàng chục triệu USD chi phí tính toán và mất 88 giờ để giải quyết bài toán Thiên niên kỷ Navier-Stokes.
25 chủ nhân giải thưởng Fields ký thư ngỏ, tranh chấp giữa OpenAI và các nhà toán học tiếp tục leo thang
TechCrunch: AI25 chủ nhân giải thưởng Fields đã ký một bức thư ngỏ cảnh báo rằng sự cạnh tranh giữa các phòng thí nghiệm AI đang đe dọa công việc trí tuệ của các nhà toán học và văn hóa nghiên cứu mở. Giáo sư Tristan Buckmaster của NYU cáo buộc OpenAI gây áp lực buộc ông không được ghi tên một nhân viên của Anthropic vào công trình nghiên cứu. Sau đó, OpenAI đã rút tài trợ cho sự kiện toán học tại CalTech, trong khi chứng minh của họ vẫn chưa được kiểm chứng.
T6 · 11/09
Sau khi các nhà toán học đồng loạt phản đối, OpenAI rút tài trợ cho cuộc thi hackathon toán học tại Caltech
IT HomeTheo Business Insider, sau khi các nhà toán học đương nhiệm và cựu sinh viên tại Caltech gửi thư ngỏ phản đối, Giám đốc nghiên cứu Dan Roberts của OpenAI cho biết vào thứ Năm rằng công ty sẽ không còn tài trợ cho cuộc thi hackathon toán học của trường này. Trước đó, OpenAI tuyên bố các tác nhân AI của họ đã giải được phương trình Navier-Stokes, nhưng nhà toán học Tristan Buckmaster từ Đại học New York đã đặt nghi vấn rằng OpenAI có thể đã sử dụng dữ liệu đối thoại của ông. Phía OpenAI cho biết họ không thể loại trừ khả năng dữ liệu đã được ẩn danh hóa đã góp phần cải thiện mô hình.
T5 · 10/09
Một nhà nghiên cứu khác cho rằng OpenAI đã tuyên bố đạt bước đột phá sau khi huấn luyện bằng dữ liệu hội thoại
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)Một nhà nghiên cứu cho biết OpenAI đã sử dụng dữ liệu hội thoại để huấn luyện, sau đó tuyên bố đạt được tiến bộ mang tính đột phá. Thông tin này được một người dùng trên Hacker News chia sẻ lại từ bài đăng gốc trên Bluesky, hiện đạt 114 điểm thảo luận trên nền tảng này.
Nhà toán học Andreas Thom yêu cầu OpenAI chứng minh không sử dụng công trình của ông để huấn luyện AI
The Verge: AITiếp nối những nghi vấn từ giáo sư Tristan Buckmaster tại NYU, nhà toán học Andreas Thom đã lên tiếng cáo buộc OpenAI thiếu minh bạch và không trung thực trên Mastodon. Ông bày tỏ lo ngại rằng các tương tác giữa mình, đồng nghiệp và ChatGPT có thể đã bị đưa vào dữ liệu huấn luyện, góp phần tạo nên một trong 10 kết quả mà OpenAI công bố tháng trước. Kết quả về nhóm phi sofia này phụ thuộc rất nhiều vào các nghiên cứu trước đó của Thom và Gábor Kun.
Architect Agent, kịch bản kinh tế AI và thực thi ngữ cảnh dài RLM
X: Hongming (@hongming731)Các nhà phát triển tại Alibaba đã trình bày chi tiết cách "Architect Agent" sử dụng cấu trúc tri thức chuyên môn để giải quyết vấn đề "đúng cục bộ, sai tổng thể" trong các hệ thống cũ. Công cụ khám phá kịch bản kinh tế của Anthropic giả định rằng đến năm 2030, AI có thể hoàn thành khoảng một nửa số công việc tri thức, và trong kịch bản cực đoan, tốc độ tăng trưởng GDP hàng năm có thể đạt 15%. Các kỹ sư AI cũng giới thiệu mô hình ngôn ngữ đệ quy (RLM), đưa ngữ cảnh dài vào môi trường thực thi Python REPL, giúp tăng độ chính xác của suy luận chuỗi dài từ 2,6% lên 45,4%.
Bản tin sáng BestBlogs: Những tiến bộ mới về Agent kiến trúc sư và ngữ cảnh dài
X: Hongming (@hongming731)Điểm tin sáng BestBlogs ngày 10/09 với 10 nội dung AI tiêu biểu: Nhà phát triển Alibaba Cloud giải mã việc triển khai Agent kiến trúc sư trong các hệ thống phân tán hiện có; Anthropic ra mắt công cụ khám phá tình huống để suy diễn tác động đa chiều của AI đối với việc làm; RLM lưu giữ ngữ cảnh dài dưới dạng đối tượng có thể thao tác trong REPL.
T4 · 09/09
Tranh cãi về chứng minh phương trình Navier-Stokes của OpenAI: Buckmaster cáo buộc hành vi sai trái, phản hồi từ các bên đặt ra câu hỏi về khoa học mở
The Decoder: AI NewsNhà toán học Tristan Buckmaster cáo buộc OpenAI gây áp lực, yêu cầu loại bỏ tên cộng sự Levent Alpöge (đang làm việc tại Anthropic) khỏi bài báo, đồng thời nghi ngờ công ty này sử dụng các bản thảo mà hai người đã tải lên Codex để huấn luyện mô hình, gọi đây là hành vi sai phạm học thuật nghiêm trọng.
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.
T3 · 08/09
OpenAI bị cáo buộc tranh giành công bố chứng minh Navier-Stokes và gây áp lực buộc nhà toán học loại bỏ cộng sự từ Anthropic
X: AI Safety Memes (@AISafetyMemes)OpenAI được cho là đã tuyên bố AI của họ đã giải được bài toán Thiên niên kỷ Navier-Stokes. Nhà toán học Buckmaster cáo buộc rằng sau khi thông tin bị rò rỉ, OpenAI đã chạy đua để giành quyền ưu tiên, đồng thời yêu cầu ông loại bỏ các cộng sự đang làm việc tại Anthropic. Hiện tại, kết quả thực tế đã được xác minh chỉ liên quan đến các vấn đề lân cận của Navier-Stokes; bản chứng minh dài 100 trang của OpenAI vẫn chưa được công bố và công ty này chưa đưa ra phản hồi về các cáo buộc.