AI가 대수나 해석을 가장 먼저 유능한 박사레벨까지 갈거 같음 수리논리는 솔직히 잘 모르겠고 조합론을 가장 어려워 할라나?