Claude랑 수학자랑 협업해서 나비에스토크스 문제 푼 거 맞나봄