Chuyển đến nội dung

Blog

OpenAI

Tin tức, các đợt ra mắt mô hình và hướng dẫn thực hành về OpenAI: GPT, Sora và OpenAI API.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openaiĐọc 16 phút

Giải thích tuyên bố chứng minh Navier–Stokes của OpenAI

OpenAI nói các tác nhân AI đã tìm thấy một kỳ dị Navier–Stokes và hình thức hóa chứng minh trong Lean. Câu chuyện khó hơn là điều xảy ra tiếp theo: phản biện, ghi công và sức mạnh của các bầy tác nhân riêng tư trong toán học.

Nhận bài viết mới trong hộp thư

Tin AI, hướng dẫn và cập nhật sản phẩm — một email ngắn khi chúng tôi có nội dung đáng để bạn đọc.

Thích nhắn tin hơn? Vẫn nội dung đó, ở đây:Cộng đồng WhatsApp (mở trong tab mới)Kênh Telegram (mở trong tab mới)