[일반] MIP*=RE 얼마전에 증명했잖아

[익명(175.223)]

이거 증명한게 엄청 큰거야?
밀레니엄 문제급임?

[llll(147.46)]

엄청 크긴 한거같음. 그게 1970년쯤 소개된 Connes' embedding problem (CEP)이랑 관계있는걸 엄청 오래 알고있었음 (정확하게는 MIP*=RE인거랑 CEP의 답이 false인거랑) 내가 오퍼레이터씨오리에 대해서는 잘 모르지만, CEP가 아직 남은 오퍼레이터씨오리문제중에서 제일 큰 문제인거같음 주변에 functional analysis같은거 하는사람들은 이 문제는 다들 알더라구 그리고 CEP자체 말고도 CEP랑 동치인 문제가 양자정보 quantum complexity theory 등등에서 여럿 나오고, MIP*=RE자체만으로도 엄청 흥미롭고 연결도 다 흥미로우니까 놀라운 결과가 될수밖에없지뭐

[llll(147.46)]

추가하자면 나야 다른 분야를 모르니까 대답하기 힘들지만, 내 생각에 이정도로 많은 사람들을 놀라게 하는 결과는 (수?)십년에 하나쯤 있을까말까한거같음. 지금 생각해봐도 2010~2020사이에 양자정보나 함수해석이나 복잡계나 하는사람들 전체를 비슷하게 놀랍게한게 별로 없는거같음. 지엽적으로야 이것저것 있지만..

[익명(175.223)]

답변 매우 감사, 현직에 있는 사람이 알려주니 이게 얼마나 놀라운 증명이었는지 잘 알겠음 정말 고마워

[dd(110.12)]

내입장에서는 MIP*는 뭔 듣도보도못한 complexity class였는데 정말 내공에 감탄하고 간다...

[llll(147.46)]

나도 MIP*를 원래 알던건 아니고 관심있어서 인트로정도랑 주변 역사정도 찾아본 정도임 ㅋㅋ