多体問題が解けないことの証明なんて百年前の仕事なのに何いってんだ?