그록 뿐만 아니라 어떤 AI가 먼저 7대 난제를 풀까도 궁금하긴 해