Navier-Stokes equations
TrialKỹ thuật
Hệ phương trình vi phân đạo hàm riêng cơ bản mô tả chuyển động của chất lỏng.
Vì sao ở đây
Xếp vào Trial: 5 bài bằng chứng từ 3 nguồn, chủ yếu là tin nghiên cứu, 5 bài trong 30 ngày qua. Độ tin cậy 53%.
Bằng chứng (5)
- 7Hacker News·13/9/2026researchBài viết của Terence Tao lập luận rằng AI không có nghĩa là toán học đã được giải xong
Một bài luận khách trên blog của Terence Tao phản hồi việc OpenAI được cho là đã tạo ra lời giải bằng AI cho bài toán tồn tại và trơn của Navier–Stokes. Tác giả cho rằng một lời giải toán học đúng nghĩa cần có chứng minh dễ hiểu, và toán học còn rộng hơn việc giải bài toán, bao gồm xây dựng lý thuyết, tạo khái niệm mới và hoạt động học thuật.
- 7Hacker News·10/9/2026researchBản phát hành Navier-Stokes của OpenAI kèm chứng minh hình thức bằng Lean 4
Bài viết cho biết bản phát hành Navier-Stokes của OpenAI đi kèm một chứng minh hình thức được viết bằng Lean 4, cho thấy việc dùng công cụ chứng minh định lý trong một công bố nghiên cứu lớn. Thảo luận trên Hacker News tập trung vào ý nghĩa của việc kết hợp nghiên cứu AI với xác minh toán học bằng máy.
- 9Hacker News·8/9/2026researchOpenAI và các nhà nghiên cứu tranh cãi quanh chứng minh Navier–Stokes hỗ trợ bởi AI
Giáo sư Tristan Buckmaster của NYU và nhà toán học Levent Alpöge từ Anthropic công bố tiến triển một phần đối với bài toán tồn tại và tính trơn của Navier–Stokes bằng các mô hình AI, nhưng cho biết OpenAI có thể đã biết về hướng tiếp cận của họ trước khi công bố nỗ lực chứng minh riêng. Sau đó, OpenAI đăng một tuyên bố về chứng minh dựa trên một mô hình thế hệ mới chưa phát hành, kèm mốc thời gian cho thấy nỗ lực này bắt đầu sau các tin đồn về tiến triển ở các bài toán Millennium Prize.
- 10Simon Willison·8/9/2026breakthroughOpenAI công bố đột phá với bài toán Navier–Stokes thuộc Giải thưởng Thiên niên kỷ
OpenAI đăng bài viết mô tả tiến triển đối với bài toán Navier–Stokes thuộc Giải thưởng Thiên niên kỷ, một bài toán lớn trong toán học và cơ học chất lỏng. Thông tin này thu hút nhiều thảo luận vì nếu được xác nhận, kết quả sẽ là một đột phá khoa học đáng kể.
- 2Hacker News·8/9/2026researchBản tuyên bố về Navier-Stokes của Tristan Buckmaster
Tài liệu PDF này là bản tuyên bố nghiên cứu của nhà toán học Tristan Buckmaster, tập trung vào các phương trình Navier–Stokes, một bài toán trọng tâm trong cơ học chất lỏng. Đây không phải là thông báo sản phẩm hay phát hành, mà là một tài liệu khoa học liên quan đến nghiên cứu lý thuyết đang diễn ra.