Nov 7, 20263 min readPLaMo 3 Translate 가중치 공개: 로컬 번역과 상업 이용 등록 조건PFN이 0.8B부터 31B까지 번역 모델 가중치를 공개했다. 한국어 지원과 로컬 실행 형식, 모바일 내부 데모의 범위, 상업 이용 등록 조건을 확인한다.Read article
Nov 7, 20263 min readPerplexity Teammates 연구 프리뷰: GitHub 이슈 감시와 검토까지 이어지는 작업Perplexity Teammates는 GitHub 이슈를 감시하고 조사·수정 PR·리뷰 대응을 이어가는 개인 Max용 웹 연구 프리뷰다. 공식 발표와 도움말에서 접근 조건, 도구 권한, 병렬 실행 비용을 확인했다.
Nov 7, 20264 min readDeepMind의 RSA-1024 연구: 계산 재현과 이론적 비용 추정 구분하기DeepMind 공식 논문 두 편에서 RSA-1024 계산 재현과 다중 소인수분해 비용 추정의 조건을 확인한다. AI 에이전트의 실행 성과, 병렬 자원, Lean 검증 범위를 나눠 읽는다.
Nov 7, 20262 min readOpenSSH 10.6p2: musl·PAM 비활성 환경의 인증 우회 수정musl libc와 PAM 비활성 조건에서 발생하는 인증 우회를 막는 OpenSSH 10.6p2가 나왔다. 공식 공지로 영향 범위와 AI 취약점 보고에 따른 배포 변화를 살펴본다.
Nov 7, 20263 min readUnderdog Woof 공개: 브라우저 음성 합성의 크기와 사용 조건Woof의 브라우저용 31.7MB 모델과 공개 두 음성 40.6MB 모델을 구분하고, CPU 실행 조건과 비상업 라이선스를 확인합니다.
Nov 7, 20262 min readBox Context Retrieval: 문서 권한을 따르는 검색과 2027년 제공 계획Box가 Nemotron Retriever를 활용하는 기업 문서 검색 엔진을 발표했다. 2027년 초 제공 계획과 현재 이용 가능한 모델을 구분하고, Recall@5 등 회사의 성능 주장을 살펴본다.
Nov 7, 20263 min readPSI의 Aaronson–Ambainis 추측 증명: Lean 검증의 범위와 공개 코드PSI가 공개한 AI 증명과 Lean 형식화 코드를 살펴본다. 연구진의 검증 보고, 정리의 가정, 사람이 대조해야 할 명세를 구분했다.
