openrouter 가입하면 여러 회사 ai모델 찍먹가능한데
나는 LaTeX 랑 Lean 문법만 좀 배워둔 상태거든
Latex로 증명 친 다음에
저렴한 모델한테 latex를 lean으로 변환해달고 하고
Reasoning 강한 모델한테 lean 주고 최대한 엄밀하게 풀이과정 잡아주되 하나하나씩 힌트 달라 어쩌고 이런 프롬프트 넣으면 잘 잡아주더라 ㅇㅇ
Kimi k2 thinking이랑 deepseek 모델중 reasoning 위주가 똑똑함.
그나저나 너네들도 인공지능한테 사진이나 pdf같은거 쌩으로 던지면 그거 해독하느라 낭비가 심하고
자기가 이상하게 해독한거를 바탕으로 이해하는등 문제가 많으니까
일단 다른 모델에서 먼저 텍스트 추출같은거 돌려서 마크다운 뽑아내면 그걸 모델에 넣는게 훨 효율도 좋다

지난주에 deepseek math v2 나왔던데 업체들이 이거 api 제공하기 시작하면 그걸로 넘어갈생각임. 뭐 제미니 2.5프로 deep think 이겼다던데 얼마나 잘할지 궁금함

사실 학부수준 수학은 qwen 30B a3b 정도만 돼도 앵간치 다하는거같은데 이정도면 그냥 집에서 그래픽카드 좀 좋은거 두개 꼽아도 돌아갈 정도임

갠적으로 vast나 runpod 같은 gpu 쌩으로 대여해주는 서비스에서 설치하는건 좀 비효율적이고
그냥 오픈라우터에서 api로 찍먹하는게 좋다 ㅇㅇ

Lean이랑 latex 배우기 싫다고?
갠적으로 종이에 적은 손글씨 수학도 생각보다 변환 잘해준다 ㅇㅇ
지금까지 ocr 탑급은 paddleocr인데
역시 지난주에 나온 hunyuan ocr이 1등 땄다고 하면서
발전이 빠른거같다



특슬람 관련 아니니까 근들갑 ㄴ