우리나라에서 아이큐가 제일 높은사람은?

사람 아이큐는 개인마다 차이가 많이 나던데 세계에서 말고 우리나라에서 과거 또는 현재 아이큐가 제일 높은 사람은 몇인지 궁금합니다