OpenAI Tuyên bố Tiến bộ về Bài toán Thiên niên kỷ Navier–Stokes Nhờ AI

OpenAI đã công bố một chứng minh toán học do hệ thống AI nội bộ tạo ra nhằm giải quyết bài toán tồn tại và độ mịn Navier–Stokes, một trong bảy Bài toán Thiên niên kỷ. Hệ thống chứng minh rằng động lực học chuyển động chất lưu theo phương trình Navier–Stokes có thể xuất hiện điểm kỳ dị trong thời gian hữu hạn, đi kèm cả bản mô tả lý thuyết lẫn bản xác minh bằng phần mềm Lean. Nếu được xác minh, công trình này đại diện cho một cột mốc quan trọng trong việc ứng dụng trí tuệ nhân tạo để giải quyết các bài toán lý thuyết hóc húa trong toán học và vật lý lý thuyết. Điều này thể hiện khả năng ngày càng tăng của các hệ thống AI chuyên biệt trong việc suy luận ở các lĩnh vực trừu tượng vốn do các nhà toán học con người đảm nhiệm từ lâu. Lời giải được đề xuất khẳng định rằng các nghiệm mịn cho phương trình Navier–Stokes về chuyển động chất lưu không phải lúc nào cũng tồn tại vĩnh viễn, vì các điểm kỳ dị có thể hình thành trong thời gian hữu hạn. OpenAI đã phát hành cả bản chứng minh toán học thông thường và bản hình thức hóa có thể kiểm tra bằng máy tính được viết bằng ngôn ngữ trợ giúp chứng minh Lean.