OpenAI o4-mini 공개, 이게 진짜 대학원생 수학 때려주는거 맞아?

이건 진짜 소름 돋았던 이야기인데요. 샤마 올트만이 새벽에 트윗 하나 던졌어요. "o4-mini is here. cheaper, faster, smarter." 그리고 몇 시간 뒤에 API 열린 거에요.

몇 개 문제 던져봤는데, 진짜 그 크기의 모델이 맞나 싶었어요.

o4-mini가 뭐냐면

o3-mini의 후속 추론 특화 모델이언요. GPT-5는 범용 채팅 용이면, o4-mini는 수학이나 코딩 같은 철저한 추론이 필요한 작업에 특화되어 있어요.

이름 그릴듯이 mini라 사이즈는 작아요. 근데 벤치마크는 o3 제대로 더 잘 나와요.

실제 대학원생 문제로 시험

제 동기가 대학원 수학과 다니는데, 그 친구한테 한국 수학과올림피아드 최근 5년치 기출문제 다섯 개 보내달라고 하고, o4-mini에 시켰어요.

결과는 다섯 문제 중 네 개 정답. 짓는 어려움을 느끼는 단계 관찰 문제었고, 접근은 맞는데 마지막 계산에서 실수했다고요.

제 친구 하는 말이 "설령 수학과 학부생 중에서도 4프로 풀 수 있는 사람 부지기 수다인데" 이러더라고요.

코딩에서도 쓰면 괜찮을까

LeetCode Hard 문제 열 개 시켜봤는데, 여덟 개 맞줬어요. Claude Sonnet 4.5가 다섯 개 정도니까 비교적 싸먹으례도 없이 잘하고 있어요.

단 속도가 조금 느려요. 이게 추론 모델의 숨겨진 함정인데요. 한 문제 답하는데 30초쯤 걸려요.

가격이 입이 쓰이다

API 가격 보고 더 놀랐어요. 입력 100만 토큰당 1.10달러, 출력 4.40달러. o3 정가 모델이 입력 60달러였어요. 엽 존계의 90% 이상 수준으로 잘라낸 거죠.

이건 진짜 수학 과외활동하는 고등학교 선생님이나 코딩 동반자로 쓰는 개발자한테는 혁명적이에요.

근데 몇 가지 아쉬운 점

한국어로 추론 과정을 보여달라고 하면 아직 좀 괴상해요. 영어로 생각한 거 번역해서 내보내는 티가 널 더워요.

그리고 이미지 입력은 아직 안 되는 건가 봐요. 수식 마다 키보드로 올린 LaTeX으로 적어야 해서 조금 귀찮아요.

어쩔든 어떤 대학원생도 이제 o4-mini 안 쓰고 과제하면 술이라고 보면 됩니다. 진짜로. 여러분도 한번 써보고 후기 댓글 남겨주세요.