이론상 KAIST급 아님?