AI Giải Quyết Bài Toán Mở 20 Năm Trong 30 Phút, nhưng Việc Kiểm Chứng Mất 5 Ngày

Dimitris Papailiopoulos, một nhà khoa học tại Microsoft Research, đã sử dụng GPT-5.6 và Claude Fable 5 để giải quyết một câu hỏi còn bỏ ngỏ từ năm 2001: liệu bài toán phát hiện MIMO có thể được giải bằng thuật toán đa thức nhanh ở mọi nơi mà về mặt thống kê là có thể hay không. Các mô hình đã độc lập khẳng định rằng không có khoảng cách nào tồn tại và cung cấp bằng chứng cho các thuật toán khác nhau. Papailiopoulos đã chọn thuật toán của Claude Fable—một ước lượng tuyến tính thô với làm tròn sau đó là lật bit tham lam—và yêu cầu GPT sửa chữa chứng minh của nó, vốn 'phần lớn sai nhưng có thể cứu vãn được.' Sau đó, ông dành năm ngày để lặp đi lặp lại với cả hai mô hình nhằm đơn giản hóa lập luận thành một dạng có thể kiểm chứng, từ chối bất kỳ bước nào mà ông không thể theo dõi mặc dù cho phép các hằng số tồi hơn. Chứng minh cuối cùng là sơ cấp, dựa trên các kỹ thuật đã biết từ những năm 2010. Tuy nhiên, kết quả chưa được bình duyệt, và mô hình kênh lý tưởng có nghĩa là nó sẽ không cải thiện được các bộ định tuyến thực tế. Papailiopoulos cũng gợi ý rằng các mô hình chưng cất trực giác tập thể của con người, và nhiều bài toán bị bỏ rơi đang chờ đợi các giải pháp tương tự.