Trong bài toán phát hiện MIMO, bộ phát gửi một chuỗi bit qua kênh truyền. Papailiopoulos thử bài toán với GPT-5.6 và Fable 5. Chứng minh cho thấy khi nghiệm hiện tại còn sai, luôn tồn tại một phép lật giúp giảm chi phí. 17 năm sau, chính bài toán từng khiến ông bối rối lại trở thành một trong những vấn đề ông giải được với sự hỗ trợ của AI.Điều đáng chú ý nhất không phải là AI tự mình giải được một bài toán 25 năm tuổi. Papailiopoulos vẫn phải kiểm tra từng bước, đơn giản hóa các chứng minh và tự xác minh toàn bộ lập luận.