AI가 30분 만에 20년 묵은 미해결 문제를 풀었고, 검증에는 5일이 걸렸다

Microsoft Research의 과학자 Dimitris Papailiopoulos는 GPT-5.6과 Claude Fable 5를 활용해 2001년부터 미해결로 남아 있던 질문, 즉 MIMO 검출 문제가 통계적으로 가능한 모든 경우에 빠른 다항식 알고리즘으로 풀릴 수 있는지에 대한 답을 내놓았다. 두 모델은 독립적으로 그러한 간극이 존재하지 않는다고 주장했으며, 서로 다른 알고리즘에 대한 증명을 각각 제시했다. Papailiopoulos는 이 중 Claude Fable이 제시한 알고리즘—반올림을 적용한 대략적인 선형 추정 후 탐욕적 비트 반전(greedy bit flip)을 수행하는 방식—을 채택하고, GPT에게 이 증명을 수정해 달라고 요청했는데, 해당 증명은 "대부분 틀렸지만 구제할 수 있는" 수준이었다. 이후 그는 5일에 걸쳐 두 모델과 함께 반복 작업을 진행하며 논증을 검증 가능한 형태로 단순화했으며, 상수 값이 다소 나빠지는 것은 감수하면서도 자신이 이해하지 못하는 단계는 모두 배제했다. 최종적으로 완성된 증명은 초보적인 수준으로, 2010년대에 알려진 기법들을 토대로 구축되었다. 다만 이 결과는 아직 동료 심사(peer review)를 거치지 않았으며, 이상화된 채널 모델을 전제로 하고 있어 실제 라우터의 성능 개선으로 이어지지는 않을 것이다. Papailiopoulos는 또한 이러한 모델들이 인류의 집단적 직관을 응축하고 있는 것으로 보이며, 이와 유사하게 해결을 기다리고 있는, 그동안 방치되어 온 문제들이 많다고 덧붙였다.