OpenAI tuyên bố giải quyết bài toán hóc búa trong 88 giờ, dòng tiền thông minh dự đoán AI sẽ tiếp tục ghi điểm trong năm nay

Theo giám sát của PolyBeats, trên thị trường dự đoán Polymarket, 1 smart money đã đặt $2.0k vào "Liệu có AI nào trong năm nay tuyên bố giải quyết một bài toán thiên niên kỷ khác không?" với "Có", giá mua trung bình là 51.2%, hiện tại xác suất "Có" là 64.5%.

Rumpelstiltskin đã đặt $2.0k, lĩnh vực liên quan nhất với thị trường này là trí tuệ nhân tạo, lợi nhuận ròng của lĩnh vực là $23.7k. Tỷ lệ thắng của anh ta trong lĩnh vực này với tổng cộng 182 giao dịch đã thanh toán là 107/182 (59%), trong đó có 30 giao dịch có giá mua nhỏ hơn $0.8 và giá bán lớn hơn $0.95. Trong khoảng giá tương tự ($0.451-$0.6), số tiền đầu tư trung vị trong lịch sử của anh ta là $240.

Bài toán thiên niên kỷ được Viện Toán học Clay thành lập vào năm 2000, mỗi bài toán có giải thưởng $1m. Thị trường này yêu cầu phòng thí nghiệm AI đủ điều kiện tuyên bố trong năm nay giải quyết giả thuyết Riemann, P vs NP, tồn tại và khoảng cách khối lượng Yang-Mills, giả thuyết Hodge hoặc giả thuyết Birch và Swinnerton-Dyer. Các kết quả cục bộ và tiến bộ nghiên cứu không được tính, phương trình Navier-Stokes cũng bị loại trừ rõ ràng bởi quy tắc. Phòng thí nghiệm chỉ cần đưa ra tuyên bố giải quyết.

Lợi nhuận chính của tài khoản này đến từ thời gian phát hành Claude 5 khoảng $6.9k, thời gian phát hành Grok 5 khoảng $3.9k, ngày phát hành cụ thể của Astra khoảng $3.6k, và thị trường bảng xếp hạng mô hình khoảng $3.6k; khoản lỗ lớn nhất đến từ mô hình AI tốt nhất tháng 2 khoảng $10.1k và thời gian phát hành GPT-5.3 khoảng $4.1k. Tài khoản hiện đang mua "Có" cho phòng thí nghiệm AI và OpenAI tuyên bố giải pháp trong năm, đồng thời dự đoán Anthropic sẽ không tuyên bố giải pháp trong nhiều thời hạn, phán đoán tập trung hơn vào OpenAI.

Tạp chí Quantum đưa tin ngày 8 rằng, OpenAI đã sử dụng khoảng một vạn AI agent tự chủ để nghiên cứu phương trình Navier-Stokes, agent chạy 88 giờ sau đó đưa ra chứng minh điểm kỳ dị, một bộ mô hình khác sau đó mất 17 giờ để hình thức hóa kết quả thành chứng minh Lean. Các agent đã trao đổi tổng cộng gần năm triệu tin nhắn, chi phí tính toán đạt hàng triệu đô la. Kết quả này vẫn cần các nhà nghiên cứu xác nhận rằng mệnh đề hình thức hóa hoàn toàn khớp với bài toán toán học gốc, và việc ghi công đóng góp của nghiên cứu liên quan cũng còn tranh cãi.