변호사가 로컬 LLM을 만지는 기록
의뢰인 자료를 밖으로 내보내지 않으면서 AI를 쓰는 방법을 찾고 있습니다. 잘 된 것만 쓰지는 않습니다.
메타 뮤즈를 뜯어보고 로컬 에이전트를 생각하다
메타의 개인 AI 에이전트 뮤즈가 8GB 클라우드 VM으로 앱스토어 1위에 오른 구조를 살펴보고, 로컬 에이전트의 현실과 하이브리드 모델의 가능성을 짚어본다.
로컬 음성 전사 프로그램 만들기 (2)
19분 음성을 3분 단위로 나눠 안정적으로 전사하고, 타임스탬프와 화자 구분부터 웹 검수, AI 보정·요약·대화까지 하나의 로컬 웹앱으로 완성한 과정.
AI가 만든 아동성착취물, 미국과 한국 법정의 엇갈린 시선
AI로 만든 가상 아동성착취물의 자택 내 단순 소지를 처벌할 수 없다고 본 미 연방 제7순회항소법원 판결을 따라가 본다. 스탠리·퍼버·애시크로프트 판례가 충돌하는 지점과, 표현물의 내용만으로 판단하는 한국법이 왜 같은 논쟁을 겪지 않는지를 비교한다.
로컬 음성 전사 프로그램 만들기 (1)
의뢰인 상담 녹음을 로컬에서 글로 바꾸는 전사 프로그램을 만들기 시작했다. Qwen3-ASR-1.7B로 첫 전사를 시도했는데, 출력 토큰 제한 때문에 19분짜리 음성이 8분에서 잘리는 문제를 만났다.
칭찬은 AI가 리만 가설도 풀게 한다
Anthropic 엔지니어가 격려만으로 Claude를 밀어붙이자, 리만 가설의 비자명 영점 비율 기록이 41.6%에서 67.2%로 올라갔다. 소수 정리부터 제타 함수, 임계선까지 원리를 따라가 보고, 격려가 왜 통했는지도 짚어본다.
한국 법률 AI 벤치마크에는 무엇이 있을까
최근 한국에서 만든 오픈웨이트 LLM을 찾아보다 보니 이름이 꽤 많이 나온다.
AI의 '노가다'는 어떻게 '통찰'이 되는가 - AI가 50년 묵은 수학 난제를 풀었다.
컴퓨터로 수학의 난제를 증명한 것이 수학적 증명으로 인정될 수 있는지에 대한 논쟁이 있었다. 이른바 4색 문제 논쟁이다. 4색 문제란 "어떤 지도든 인접한 나라를 서로 다른 색으로 칠하는 데 네 가…
송달문서(SCAN파일) 정리하기(2)
27화에서 추출 단계를 단단히 했다. PDF를 받아 당사자·출석일정·일시를 깨끗한 JSON으로 뽑는 데까지 왔다. 그런데 이건 전체 파이프라인의 한 토막일 뿐이다. 27화에서 그렸던 큰 그림을 다시…