OpenAI nói đã giải quyết Navier–Stokes. Phán quyết: CẦN ĐÁNH GIÁ LẠI.

Nội dung video này đề cập

• OpenAI: Navier–Stokes blow-up, ~10.000 tác nhân, 88 giờ, 130B token đầu ra, được xác minh bằng Lean
• Buckmaster và Alpöge: một năm theo cùng một phương pháp, một tin đồn và một cuộc gọi Chủ nhật với hai đề nghị
• Terence Tao: "ngay cả tin đồn về ai đó đang nghiên cứu một vấn đề cũng có thể kích hoạt một nỗ lực lớn của AI để giải quyết nó"
• Jacob Coxon từ chức khỏi Anthropic: cả hai phòng thí nghiệm đều "đang chạy thẳng đến siêu trí tuệ tự cải thiện"
• Meta ra mắt Muse: một tác nhân cá nhân trên VM đám mây riêng, trong WhatsApp, chỉ ở Mỹ

Bản ghi đã dịch

Được dịch từ lời tường thuật tiếng Anh gốc. Âm thanh và phụ đề có sẵn được điều khiển bởi YouTube.

0:00 Hôm qua, OpenAI thông báo AI của họ đã giải quyết một bài toán Giải thưởng Thiên niên kỷ, bỏ ngỏ chín mươi năm, một triệu đô la, trong tám mươi tám giờ, và hai nhà toán học đã dành một năm cho cùng một vấn đề đã biết về nó trong một cuộc gọi điện thoại Chủ nhật mà, theo một trong số họ, bao gồm: tại sao bạn lại muốn hủy hoại sự nghiệp của mình? Đó là một ngày thứ Hai dài. Vào lúc bình minh, một giáo sư NYU đã đăng một tuyên bố bốn trang; một ngàn sáu trăm điểm trên Hacker News. Vào buổi chiều, OpenAI đã đăng bằng chứng.

0:26 Vào buổi tối, Terence Tao nói rằng các bài toán mở hiện đang được khai thác như một nguồn tài nguyên không tái tạo, và qua đêm một nhà nghiên cứu của Anthropic đã từ chức trên X, bốn mươi bốn triệu lượt xem, vì cả hai phòng thí nghiệm đều, trích dẫn, đánh cược với cuộc sống của chúng ta. Ngoài ra, Meta đã ra mắt một tác nhân cá nhân sống trong WhatsApp và có máy tính riêng của mình. Trong video này: bằng chứng, cuộc gọi điện thoại, chú thích, và câu mà Terence Tao muốn các phòng thí nghiệm nghe.

0:49 Hôm nay là thứ Tư, ngày 9 tháng 9, và đây là The Daily Diff. Đầu tiên là toán học. Navier–Stokes mô tả cách chất lỏng di chuyển, và từ năm 1934 không ai biết liệu một chất lỏng 3D mịn có thể đạt đến một điểm kỳ dị: vận tốc trở thành vô hạn trong thời gian hữu hạn. Hệ thống của OpenAI nói là có. Bắt đầu ở trạng thái nghỉ, áp dụng một lực mịn, giữ năng lượng hữu hạn, và một xoáy cuộn xoắn vào trong như mì spaghetti cho đến khi tốc độ bùng nổ. Các tuyên bố C và D của công thức Clay, trong Lean,

1:16 mười bảy giờ Astra để xác minh. Vì vậy, chất lỏng có thể phát nổ, điều mà bất kỳ ai làm đổ cà phê lên MacBook đều biết, nhưng bây giờ nó có trong Lean. Cách thức: OpenAI có một mô hình nội bộ mới mà họ gọi là có khả năng hơn đáng kể so với Astra, và vào ngày 1 tháng 9, họ nghe tin đồn rằng hai bài toán Thiên niên kỷ đã được giải quyết, vì vậy họ đã hướng nó vào mọi bài toán mở. Nhóm Navier–Stokes: khoảng mười nghìn tác nhân đồng thời, một trăm ba mươi tỷ token đầu ra; ba trăm tỷ trên tất cả các

1:42 bài toán. Với giá niêm yết của Astra, mười lăm triệu đô la token cho một giải thưởng một triệu đô la mà OpenAI nói rằng họ sẽ không nhận, và với tỷ lệ lợi nhuận đó, ai sẽ. Phía bên kia. Tristan Buckmaster tại NYU và Levent Alpöge, người làm việc tại Anthropic, đã dành một năm để thúc đẩy một phương pháp tiếp cận của Córdoba và Martínez-Zoroa với Claude và Codex, trả tiền cho OpenAI từ quỹ nghiên cứu của Buckmaster. Vào ngày 15 tháng 8, họ đã có sự bùng nổ cho các phương trình Euler; Buckmaster gọi bằng chứng LLM đầu tiên là kinh khủng nhất mà anh từng đọc,

2:10 và nó được xác minh trong Lean vào ngày 22 tháng 8. Sau đó một tin đồn lan truyền, và ngày 3 tháng 9 anh gửi email cho OpenAI: là chúng tôi, là cá nhân, chúng tôi sẽ đăng sớm. Vào Chủ nhật lúc 12:45, OpenAI yêu cầu gặp bất cứ lúc nào trong ngày hôm nay, và Sébastien Bubeck đã tham gia. Buckmaster được cho biết mô hình đã chứng minh Navier–Stokes cưỡng bức với rất ít đầu vào của con người, điều mà trong cuộc gọi đã trở thành một đội ngũ hoàn chỉnh, đầu tiên là các vấn đề dễ hơn, một lời nhắc do Codex viết, và một lượng lớn

2:36 tính toán. Anh hỏi khi nào lời nhắc đầu tiên được gửi. Cuối cùng: trong vài ngày qua, sau khi thông tin về công việc của chúng tôi đã đến OpenAI. Hai đề nghị đã được đưa ra. Một: bạn đăng Euler, chúng tôi đăng Navier–Stokes vào ngày hôm sau. Hai: chỉ Buckmaster viết bằng chứng của OpenAI, và, anh ấy nói, Bubeck hai lần muốn Alpöge rời khỏi bài báo vì anh ấy làm việc tại Anthropic. Anh ấy từ chối và nói rằng anh ấy sẽ công khai. Câu trả lời, theo tuyên bố: tại sao bạn lại muốn hủy hoại sự nghiệp của mình,

3:00 sau đó: nếu bạn không muốn tôi tử tế, tôi không cần phải tử tế. Thông thường là dòng ngay trước khi đầu ngựa xuất hiện trên giường. Phiên bản của OpenAI: không ai nhìn thấy công việc của họ, không có dữ liệu người dùng nào bị truy cập, và, chú thích, họ không thể loại trừ rằng dữ liệu đã được ẩn danh từ việc sử dụng sản phẩm của các giáo sư đã giúp cải thiện mô hình. Đánh giá của Alpöge: khen ngợi họ vì đã thẳng thắn. Sam Altman nói mọi người đều hành động với sự chính trực và hào phóng và đội kia

3:25 đe dọa những cáo buộc đạo văn vô căn cứ, viết với một chữ i. Vì vậy, vị trí chính thức: chúng tôi không sao chép bài tập về nhà của bạn, chúng tôi nghe nói bạn đang làm bài tập về nhà. Terence Tao gọi kết quả của các giáo sư là đáng chú ý và lưu ý Buckmaster đã giải thích nó cho anh ấy qua điện thoại, một sự thay đổi đáng mừng so với các phương thức giao tiếp dựa trên AI. Sau đó, bốn bài đăng: các bài toán mở tốt hiện đang được khai thác như một nguồn tài nguyên không tái tạo, ngay cả một tin đồn về ai đó đang nghiên cứu một bài toán cũng kích hoạt một nỗ lực lớn của AI để giải quyết nó, vì vậy động cơ là ngừng chia sẻ hướng nghiên cứu,

3:55 đảo ngược hàng thế kỷ khoa học mở. Ba nhóm đã đăng về sự bùng nổ chất lỏng trong một cuối tuần; bài báo tiếp theo có thể là một NDA. Đó là tâm trạng mà Jacob Coxon đã từ chức: ba năm tiền đào tạo tại OpenAI, sau đó là Anthropic; anh ấy nói rằng không công ty nào hành động có trách nhiệm, cả hai đều đang chạy đua đến siêu trí tuệ tự cải thiện, và kết quả cuối cùng không nên được khởi động từ Slack của một công ty tư nhân. Bốn mươi bốn triệu lượt xem, vào ngày một phòng thí nghiệm đặt mười nghìn tác nhân vào một tin đồn,

4:21 vì vậy luồng đã được ra mắt với một bản demo trực tiếp. Trong khi đó, Meta đã ra mắt Muse: một tác nhân cá nhân trên VM đám mây riêng của mình với trình duyệt riêng, và bạn nói chuyện với nó trong WhatsApp. Chỉ ở Mỹ, miễn phí cho hầu hết mọi thứ. Meta hứa sẽ có một phiên bản mà ngay cả Meta cũng không thể đọc được, vào cuối năm nay, một cách mô tả rất cụ thể về năm nay. Bình luận hàng đầu trên Hacker News: Tôi không muốn chia sẻ cuộc sống của mình với Meta như thế này. Thứ hai: nó cứ cố gắng bán cho tôi một chiếc xe đẩy em bé.

4:45 Nếu bạn muốn đọc điều này hơn là nghe tôi nói, The Daily Diff sẽ đến hộp thư đến của bạn mỗi sáng – miễn phí tại the daily diff dot dev, liên kết bên dưới. Vậy — phán quyết hôm nay: cần đánh giá lại. Bằng chứng được biên dịch; câu chuyện thì không. Mười nghìn tác nhân giải quyết một vấn đề chín mươi năm tuổi trong một cuối tuần là kết quả về khả năng của năm; việc công bố nó bằng một cuộc gọi điện thoại Chủ nhật cho hai người mà bạn nghe về nó thì không.

5:07 Và đó là sự khác biệt trong ngày hôm nay. Tôi là Niko từ Axrisi. Hợp nhất một cách có trách nhiệm.

Nguồn

1. OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
2. OpenAI Lean formalizationgithub.com
3. Tristan Buckmaster, statement (PDF)cims.nyu.edu
4. HN: Buckmaster statementnews.ycombinator.com
5. HN: OpenAI postnews.ycombinator.com
6. Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
7. Terence Tao: open problems mined non-renewablymathstodon.xyz
8. HN: Tao threadnews.ycombinator.com
9. Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
10. GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
11. Jacob Coxon's resignation threadx.com
12. HN: I resigned from Anthropic todaynews.ycombinator.com
13. Meta: Introducing Museabout.fb.com
14. Museai.meta.com
15. HN: Musenews.ycombinator.com