Microsoft Research và cộng sự công bố proof cho giả thuyết KLS sau 31 năm
Microsoft Research và các cộng sự cho biết họ đã chứng minh giả thuyết Kannan–Lovász–Simonovits (KLS), một bài toán lớn còn bỏ ngỏ trong hình học nhiều chiều được đặt ra từ năm 1995. Giả thuyết này cho rằng với một lớp rộng các phân phối xác suất, một lát cắt phẳng đơn giản tốt nhất gần hiệu quả tương đương với lát cắt có hình dạng bất kỳ, với khoảng cách chỉ bị giới hạn bởi một hằng số không tăng theo số chiều. Kết quả thiết lập được giới hạn không phụ thuộc số chiều và có thể giúp hiểu rõ hơn về lấy mẫu ngẫu nhiên, tối ưu hóa, thống kê và khoa học máy tính. Các nhà nghiên cứu dùng một quy trình AI có con người định hướng để khảo sát hơn 100 hướng tiếp cận, sau đó phát triển một lập luận đệ quy trong đó tổng sai số vẫn bị chặn; bản proof hoàn chỉnh được đăng trong phiên bản ngày 4/10/2026 của bài nghiên cứu. Các nhà nghiên cứu độc lập cũng đưa ra một proof song song, và công trình đã trải qua bước kiểm chứng hình thức bằng máy. Về thực tế, kết quả này gỡ bỏ một trở ngại lý thuyết tồn tại lâu nay trong việc phân tích các thuật toán di chuyển hoặc lấy mẫu từ những không gian nhiều chiều phức tạp, dù đây chủ yếu là một tiến bộ toán học nền tảng chứ chưa phải một sản phẩm có thể triển khai ngay.
Đây là một đột phá toán học nền tảng, đáng chú ý với các nhà nghiên cứu AI, tối ưu hóa và khoa học máy tính hơn là người dùng phổ thông ngay lúc này. Kết quả có thể giúp giới nghiên cứu hiểu và phân tích tốt hơn các thuật toán lấy mẫu, tối ưu hóa và xử lý dữ liệu nhiều chiều.
Đọc bài gốc