Claude 작업 비용을 줄이는 오픈소스 도구 Lean
Lean은 Claude가 바로 답을 쓰기 전에 더 짧고 똑똑한 풀이 길을 찾게 돕는 오픈소스 도구입니다. 만든 쪽은 실제 작업 기준으로 중간값에서 토큰을 8배 적게 썼다고 말합니다. AI 에이전트를 자주 돌리는 사람에게는 비용과 속도 절감에 직접 도움이 될 수 있습니다.
핵심 포인트
용어 한 줄 설명
- Lean
- 수학 증명이 논리적으로 올바른지 컴퓨터가 엄밀하게 검사해 주는 소프트웨어입니다.
- 오픈소스
- 소스 코드를 공개해 누구나 보고 사용할 수 있게 한 방식입니다.
- 토큰
- AI가 글을 읽고 쓸 때 세는 작은 글자 조각 단위입니다.
- AI 에이전트
- 사람 대신 정보를 찾거나 작업을 처리하도록 만든 AI 프로그램입니다.
- 벤치마크
- 성능을 비교하려고 정해진 방식으로 해보는 시험입니다.