Tối qua, cậu con trai 9 tuổi của tôi đã trêu chọc vợ tôi là nhà lý thuyết độ phức tạp Dana Moshkovitz thế này: "Mẹ ơi, con nghe nói mẹ bị hạ gục rồi! Con nghe nói một con robot đã giải được bài toán mà mẹ đã bỏ cả sự nghiệp để nghiên cứu! Quá đỉnh!" Dù con trai tôi hơi hỗn, nhưng thằng bé nói không sai. Dù bạn hào hứng, chán nản, tức giận hay có cảm xúc nào khác, ngày hôm qua chắc chắn là một trong những ngày lớn nhất trong lịch sử toán học. Và vâng, trong số 372 kết quả lớn được OpenAI công bố hôm qua theo khuyến nghị từ hội đồng cố vấn gồm Timothy Gowers, Edward Witten cùng các nhà toán học xuất sắc khác, có cả lời giải cho Giả thuyết trò chơi duy nhất của Subhash Khot, một nhận định mà vợ tôi đã dành toàn bộ thời gian tôi quen biết cô ấy để chứng minh. (Giả thuyết này ngụ ý rằng hàng loạt bài toán tối ưu hóa thực sự là NP-hard, ngay cả khi bạn chỉ muốn một phép xấp xỉ tốt hơn một chút so với những gì thu được từ phương pháp nới lỏng quy hoạch nửa xác định, một trong những công cụ chính của chúng tôi.) Hoặc ít nhất, chúng tôi khá chắc chắn đó là một lời giải! Có một Lean certificate, giống như một số kết quả đột phá trong số 372 kết quả nói trên (nhưng không phải tất cả). Tuy nhiên, có vẻ như chưa con người nào hiểu được hầu hết các lời giải này; cuộc đua để làm điều đó vừa mới bắt đầu. Nếu bạn muốn có cái nhìn thực tế về cuộc đua đó sẽ diễn ra như thế nào, đây là một số tin nhắn Dana đã gửi cho tôi tối qua:
Nguồn chính
- THẢO LUẬNmserilobste.rs