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
Tổng quan sự kiện
Toàn cảnh do AI tổng thuật
Ngày 8 tháng 9 năm 2026, OpenAI thông báo một mô hình nội bộ chưa công bố (được cho là mạnh hơn đáng kể so với GPT-6 Astra) đã vận hành khoảng 10.000 tác nhân đồng thời, mất 88 giờ để đưa ra lời giải cho bài toán về sự tồn tại và tính trơn của phương trình Navier-Stokes. Sau đó, GPT-6 Astra mất thêm 17 giờ để hoàn thành việc kiểm chứng hình thức bằng Lean. OpenAI cho biết, chứng minh này chỉ ra rằng chất lưu tĩnh trơn ban đầu dưới tác động của ngoại lực trơn có thể phát triển thành điểm kỳ dị trong thời gian hữu hạn trong khi năng lượng vẫn được bảo toàn, qua đó thiết lập trường hợp "C" (và "D") trong đề bài chính thức. OpenAI đã công khai văn bản chứng minh cùng mã kiểm chứng Lean. Công ty tuyên bố không có ý định nhận giải thưởng 1 triệu USD từ Viện Toán học Clay; ước tính toàn bộ quá trình nghiên cứu kéo dài một tuần đã tiêu tốn khoảng 300 tỷ token đầu ra, với chi phí từ 15 triệu đến 22,5 triệu USD.
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 T3 · 15/09 · 05:18.
Diễn biến mới nhất
Viện Toán học Clay (CMI) tuyên bố bài toán giải thưởng Thiên niên kỷ Navier-Stokes "rõ ràng đã được giải quyết". Viện cho biết lời giải đang trong quá trình thẩm định, quá trình này sẽ diễn ra "một cách thong thả" và các cập nhật tiếp theo sẽ được cung cấp sau.
Chính chủ · 3 bài
Nghe trực tiếp từ bên liên quan
- OpenAI: Tin chính thức (RSS - lọc nội dung doanh nghiệp/khách hàng)OpenAI thông báo đã sử dụng hệ thống AI nội bộ để đưa ra lời giải cho bài toán thiên niên kỷ Navier–Stokes
- X: OpenAI (@OpenAI)OpenAI công bố nhóm tác nhân AI đã giải quyết được bài toán Thiên niên kỷ Navier-Stokes
Dòng thời gian đưa tin
Đang hiện 35 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
Các triết gia viết bài phân tích về hướng đi của toán học sau khi OpenAI tuyên bố giải quyết được bài toán Navier-Stokes
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)Hai triết gia đã đăng bài trên blog của Terence Tao để phản hồi về sự kiện OpenAI tuyên bố vào ngày 8 tháng 9 năm 2026 rằng AI đã đư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.
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.
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.
OpenAI công bố chứng minh phương trình Navier-Stokes kèm xác thực hình thức bằng Lean 4
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)OpenAI tuyên bố đã giải quyết được một bài toán tồn đọng lâu năm liên quan đến phương trình Navier-Stokes, đồng thời công bố chứng minh hình thức bằng Lean 4 bên cạnh bản chứng minh dành cho con người. Tác giả ibobev ước tính rằng theo tiêu chuẩn cũ, việc hình thức hóa bài luận dài 166 trang này sẽ tiêu tốn khoảng 132.800 giờ công, trong khi OpenAI chỉ mất 17 giờ để hoàn tất xác thực bằng Lean, giúp giảm chi phí xuống khoảng 4 bậc độ lớn. Tác giả cho rằng phương pháp xác thực hình thức này còn có thể ứng dụng trong các chính sách bảo mật, hợp đồng thông minh và kiểm định các thuật toán quan trọng.
OpenAI tuyên bố sắp giải quyết được bài toán Thiên niên kỷ thứ hai, DeepSeek 4.1 Flash dẫn đầu về hiệu năng trên giá thành
X: Kim (@kimmonismus)Theo xác nhận từ NYT, OpenAI sắp giải quyết được bài toán toán học Thiên niên kỷ thứ hai và có thể sớm công bố rộng rãi. DeepSeek 4.1 Flash vượt qua GPT-5.6 Sol và Opus 5 về hiệu năng trên DeepSWE, trong khi chi phí API thấp hơn tới 94%. Ngoài ra, gói đăng ký ChatGPT Pro mới có thể đã bị tạm dừng do nhu cầu quá cao; OpenAI cũng đang lên kế hoạch thâm nhập sâu vào lĩnh vực an ninh mạng và cảnh báo AI có thể gây rủi ro cho nguồn cung năng lượng.
T5 · 10/09
AI tiêu tốn 20 triệu USD chi phí tính toán để giải mã bài toán hóc búa về điểm kỳ dị Navier-Stokes
X: AI Notes (@AYi_AInotes)Có người đã chi 20 triệu USD cho sức mạnh tính toán chỉ để giải một bài toán toán học với phần thưởng vỏn vẹn 1 triệu USD: Sử dụng AI để mô phỏng trong không gian ba chiều xem liệu nghiệm của phương trình chất lưu Navier-Stokes có mất kiểm soát dưới tác động của vòng xoáy cực hạn, từ đó tạo ra điểm kỳ dị với vận tốc vô hạn hay không. Những dải xoáy đầy màu sắc cuộn vào trong rồi kéo giãn theo trục dọc trong video được coi là khoảnh khắc AI lần đầu tiên chứng minh cho nhân loại thấy rằng "thế giới vật lý trơn tru rồi cũng sẽ đến lúc rạn nứt".
OpenAI chia sẻ với tờ The New York Times rằng họ đã đạt được bước tiến đáng kể đối với một bài toán trong danh sách Giải thưởng Thiên niên kỷ, sau khi hoàn thành giải quyết bài toán Navier-Stokes
X: Kim (@kimmonismus)OpenAI cho biết với tờ The New York Times rằng: Sau khi hoàn thành bài toán Navier-Stokes, họ đã đạt được tiến triển thực chất đối với một bài toán khác thuộc Giải thưởng Thiên niên kỷ và đang cân nhắc phương án công bố kết quả. Dựa trên thông tin này, tác giả cho rằng đây là bằng chứng xác thực cho những tin đồn về việc OpenAI sắp sửa chính thức giải quyết thành công bài toán Thiên niên kỷ tiếp theo.
Các nhà toán học yêu cầu OpenAI chứng minh không sử dụng kết quả nghiên cứu của họ để huấn luyện mô hình
Hacker News: AI bài nổi bậtNhà toán học Andreas Thom cáo buộc OpenAI thiếu trung thực trong các kết quả liên quan đến nhóm "non-sofic", đồng thời đặt nghi vấn rằng những tương tác của ông với ChatGPT có thể đã bị đưa vào dữ liệu huấn luyện. Trước đó, giáo sư Tristan Buckmaster từ NYU cũng nghi ngờ liệu OpenAI có hưởng lợi từ các công trình chưa công bố của ông hay không. OpenAI phủ nhận việc truy cập dữ liệu người dùng cụ thể, nhưng không loại trừ ảnh hưởng gián tiếp từ các dữ liệu đã được ẩn danh. Nhiều nhà nghiên cứu lo ngại rằng những sự việc tương tự sẽ khiến cộng đồng toán học trở nên khép kín hơn.
OpenAI tuyên bố giải quyết bài toán Navier-Stokes trong 88 giờ, gây tranh cãi trong giới toán học về quyền ưu tiên công bố và dữ liệu
The Verge: AITrong bài đăng trên blog vào thứ Ba, OpenAI cho biết một mô hình chưa ra mắt của họ đã giải quyết thành công bài toán thủy động lực học Navier-Stokes trong khoảng 88 giờ bằng cách điều phối khoảng 10.000 AI agent. Đây là bài toán đã thách thức các nhà nghiên cứu trong gần 90 năm qua với mức tiền thưởng 1 triệu USD, tuy nhiên OpenAI tuyên bố sẽ không nhận khoản tiền này.
Hai thái cực của ngành công nghiệp AI: Cuộc đua tiên phong và cuộc chiến giá bán lại
X: Kim (@kimmonismus)OpenAI tuyên bố mô hình nội bộ đã chinh phục được bài toán Giải thưởng Thiên niên kỷ, đánh dấu bước tiến trong cuộc đua tới trí tuệ siêu việt của các phòng thí nghiệm hàng đầu. Trong khi đó, phân khúc bán lại mô hình đang rơi vào cuộc chiến giá: Stripe dự định mua lại OpenRouter với giá khoảng 7,5 tỷ USD (phí thanh toán thẻ tín dụng là 5,5%), ngay lập tức Straitly đã mở quyền truy cập cho 177 mô hình AI, đồng thời hoàn tiền 5% cho các mô hình đóng và 10% cho các mô hình mã nguồn mở nhằm giành giật người dùng bằng chính sách phí âm.
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.
Thomas Wolf cho rằng toán học AI vẫn chưa được giải quyết, kết quả về Navier-Stokes giống với việc tìm kiếm phản ví dụ hơn là một chứng minh hoàn chỉnh
X: Thomas Wolf (Hugging Face đồng sáng lập/CSO) (@Thom_Wolf)Đồng sáng lập Hugging Face, Thomas Wolf, đã phản hồi về kết quả OpenAI sử dụng nhóm tác nhân (agent) từ mô hình thế hệ tiếp theo (mạnh hơn GPT-6 Astra) để chứng minh giả thuyết bài toán thiên niên kỷ Navier-Stokes là sai, đồng thời gọi đây là một thành tựu ấn tượng.
TIN NHANH AI: Trợ lý cá nhân Muse chính thức ra mắt, OpenAI phát hành ChatGPT Images 2.5
X: Testing Catalog (@testingcatalog)Muse đã có mặt tại Mỹ, hỗ trợ trên iOS, Android, nền tảng web và WhatsApp, cung cấp phiên bản miễn phí cùng các gói đăng ký 20 USD và 100 USD mỗi tháng. OpenAI giới thiệu ChatGPT Images 2.5 với tốc độ cải thiện lên đến 50% cùng công cụ Sketch mới. Giám đốc bộ phận căn chỉnh (alignment) của Anthropic cho biết, cá nhân ông đánh giá xác suất AI tiêu diệt nhân loại trong vòng 10 năm tới là hơn 10%.
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 cụm tác nhân AI để giải bài toán Thiên niên kỷ Navier-Stokes
X: AI Notes (@AYi_AInotes)OpenAI tuyên bố đã đưa ra lời giải cho bài toán Thiên niên kỷ Navier-Stokes, một vấn đề đã tồn tại khoảng 90 năm qua. Lời giải được tạo ra bởi một nhóm tác nhân sử dụng mô hình thế hệ tiếp theo mạnh hơn cả GPT-6 Astra. Theo tác giả, khoảng 10.000 tác nhân đã phối hợp làm việc trong 88 giờ, tạo ra 130 tỷ token đầu ra; GPT-6 Astra mất 17 giờ để chạy mã xác thực hình thức Lean, với chi phí tính toán tương đương khoảng 15 triệu USD.
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.
OpenAI sử dụng hàng chục nghìn tác nhân AI để giải bài toán thiên niên kỷ Navier-Stokes
X: Rohan Paul (@rohanpaul_ai)OpenAI tuyên bố đã đưa ra lời giải cho bài toán thiên niên kỷ Navier-Stokes. Chứng minh này được tạo ra bởi một nhóm tác nhân AI sử dụng mô hình thế hệ tiếp theo, mạnh hơn đáng kể so với GPT-6 Astra. Đây là bài toán về việc liệu chuyển động của chất lưu ba chiều trơn có bị sụp đổ hay không, vốn đã tồn tại khoảng 90 năm qua.
OpenAI thông báo đã sử dụng hệ thống AI nội bộ để đưa ra lời giải cho bài toán thiên niên kỷ Navier–Stokes
OpenAI: Tin chính thức (RSS - lọc nội dung doanh nghiệp/khách hàng)Chính chủOpenAI thông báo hệ thống AI nội bộ của họ đã đư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, chứng minh rằng chất lưu trơn ban đầu có thể hình thành điểm kỳ dị trong thời gian hữu hạn, đồng thời đính kèm tài liệu chứng minh và xác thực hình thức bằng Lean.
OpenAI đăng bài thảo luận về bài toán giải thưởng Thiên niên kỷ Navier-Stokes
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)OpenAI đăng tải bài viết thảo luận về bài toán giải thưởng Thiên niên kỷ Navier-Stokes. Đây là một trong bảy bài toán giải thưởng Thiên niên kỷ do Viện Toán học Clay đề ra, tập trung vào vấn đề sự tồn tại và tính trơn của nghiệm phương trình đạo hàm riêng. Bài viết đã thu hút sự chú ý trên Hacker News với 127 lượt bình chọn.
OpenAI công bố sử dụng các tác nhân AI để giải quyết bài toán Thiên niên kỷ Navier-Stokes
X: Mark Chen (OpenAI Giám đốc nghiên cứu, @markchen90)OpenAI tuyên bố đã tìm ra lời giải cho bài toán Thiên niên kỷ Navier-Stokes, vấn đề vốn bỏ ngỏ khoảng 90 năm qua về việc liệu chuyển động của chất lưu ba chiều trơn tru được mô tả bởi phương trình Navier-Stokes có bị mất ổn định hay không. Chứng minh này được thực hiện bởi một nhóm tác nhân AI sử dụng thế hệ mô hình mới của OpenAI, với năng lực vượt trội so với GPT-6 Astra. Giám đốc nghiên cứu của OpenAI, Mark Chen, đã chia sẻ thông tin này và cho biết nhiều đồng nghiệp của ông đã chuyển hướng nghiên cứu vì tin rằng AI là con đường nhanh nhất để giải quyết các thách thức lớn trong lĩnh vực của họ.
OpenAI công bố nhóm tác nhân AI đã giải quyết được bài toán Thiên niên kỷ Navier-Stokes
X: OpenAI (@OpenAI)Chính chủOpenAI thông báo chia sẻ lời giải cho bài toán Thiên niên kỷ Navier-Stokes, vấn đề tồn tại khoảng 90 năm qua liên quan đến việc liệu chuyển động của chất lưu ba chiều trơn tru trong phương trình Navier-Stokes có bị phá vỡ hay không. Lời giải được thực hiện bởi một nhóm tác nhân AI sử dụng thế hệ mô hình tiếp theo của OpenAI với năng lực mạnh hơn đáng kể so với GPT-6 Astra.
Đội ngũ tác nhân AI của OpenAI tuyên bố đã giải được bài toán Thiên niên kỷ Navier-Stokes và gửi lời chúc mừng tới các nhà chứng minh độc lập
X: OpenAI (@OpenAI)Chính chủOpenAI công bố lời giải cho bài toán Thiên niên kỷ Navier-Stokes – vấn đề đã bị bỏ ngỏ khoảng 90 năm về việc liệu mô tả về chuyển động của chất lưu ba chiều trơn tru có bị mất hiệu lực hay không – thông qua một nhóm tác nhân AI sử dụng thế hệ mô hình tiếp theo có năng lực vượt trội đáng kể so với GPT-6 Astra.
OpenAI cho biết AI agent của họ đã giải được bài toán giải thưởng thiên niên kỷ Navier-Stokes
X: Kim (@kimmonismus)OpenAI chính thức công bố lời giải cho bài toán giải thưởng thiên niên kỷ Navier-Stokes, một vấn đề đã tồn tại khoảng 90 năm chưa có lời giải. Chứng minh này được thực hiện bởi khoảng 10 nghìn agent hoạt động đồng thời, sử dụng mô hình thế hệ tiếp theo của hãng (vượt trội đáng kể so với GPT-6 Astra) trong 88 giờ. Sau đó, GPT-6 Astra mất 17 giờ để hoàn tất quá trình kiểm chứng hình thức bằng Lean.
OpenAI tuyên bố đã tìm ra lời giải cho bài toán thiên niên kỷ Navier-Stokes nhờ sự kết hợp giữa các AI agent và một mô hình thế hệ mới mạnh hơn GPT-6 Astra
X: Elvis Saravia (@omarsar0, DAIR.AI)OpenAI công bố lời giải cho bài toán giải thưởng thiên niên kỷ Navier-Stokes. Chứng minh được thực hiện bởi một nhóm agent sử dụng mô hình thế hệ tiếp theo của OpenAI, được hãng khẳng định có năng lực vượt trội đáng kể so với GPT-6 Astra. Bài toán này tập trung vào việc liệu chuyển động của chất lưu trơn ba chiều được mô tả bởi phương trình Navier-Stokes có bị mất nghiệm hay không, một vấn đề đã tồn tại khoảng 90 năm. Elvis Saravia đã chia sẻ lại thông tin này và bình luận rằng, nếu GPT-6 Astra đã đạt đến trình độ này thì thế hệ mô hình tiếp theo rất đáng để kỳ vọng.
OpenAI công bố lời giải cho bài toán thiên niên kỷ Navier-Stokes bằng AI agent
X: Greg Brockman (@gdb)OpenAI công bố lời giải cho bài toán giải thưởng thiên niên kỷ Navier-Stokes, vấn đề tập trung vào việc liệu chuyển động của chất lưu trơn ba chiều được mô tả bởi phương trình Navier-Stokes có bị mất tính ổn định hay không, vốn đã tồn tại khoảng 90 năm chưa có lời giải. Lời giải được tạo ra bởi một nhóm agent sử dụng mô hình thế hệ tiếp theo của OpenAI với năng lực mạnh hơn nhiều so với GPT-6 Astra. Greg Brockman gọi đây là cột mốc quan trọng giữa AI và toán học, đồng thời hy vọng kiến thức này sẽ giúp cộng đồng hiểu rõ hơn về các phương trình đạo hàm riêng phi tuyến tính (PDE) dùng để mô hình hóa thế giới vật lý.
TestingCatalog đưa tin OpenAI công bố đội ngũ AI agent đã giải quyết được bài toán giải thưởng thiên niên kỷ Navier-Stokes
X: Testing Catalog (@testingcatalog)TestingCatalog dẫn thông báo chính thức từ OpenAI: Một nhóm AI agent vận hành bởi mô hình thế hệ tiếp theo của hãng đã đưa ra lời giải cho bài toán giải thưởng thiên niên kỷ Navier-Stokes. OpenAI cho biết mô hình này mạnh hơn đáng kể so với GPT-6 Astra; bài toán liên quan đến việc liệu chuyển động của chất lưu trơn ba chiều được mô tả bởi phương trình Navier-Stokes có bị sụp đổ hay không, một vấn đề đã tồn tại khoảng 90 năm. Tác giả bài viết đính kèm nhận xét: Cấp độ 4 - Nhà đổi mới (Innovators).
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 có thể đã giải được bài toán thiên niên kỷ Navier-Stokes
X: Kim (@kimmonismus)OpenAI có thể đã giải quyết được bài toán thiên niên kỷ Navier-Stokes. Một lời giải chính xác sẽ giúp tháo gỡ một vấn đề toán học trọng đại. Việc xác định bao nhiêu phần trăm trong đó do AI độc lập thực hiện cũng sẽ trở thành bài kiểm tra then chốt để đánh giá liệu AI có khả năng tạo ra các nghiên cứu mang tính nguyên bản hay không. Theo những gì tôi được biết, OpenAI sẽ sớm đưa ra thông báo chính thức và bày tỏ lập trường. AGI đã đến. Điều này không còn gì phải nghi ngờ.
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.