Claude | 테크
테크 소식과 맥락, 출처를 정리합니다.
최신 글
RSSClaude와 Theorem, 라이브러리 123개 진입점 검증
Rocq가 증명을 검사하지만 특정 실행 환경과 명세 밖의 버그까지 배제하지는 않습니다.
Claude 앱, 새 세션에 자동 승인 검사 확대
대부분 앱의 유료 요금제로 확대되지만 사용자는 수동 승인으로 바꿀 수 있습니다.
탈취된 Claude 세션이 구독자의 사용량을 몰래 소진했습니다
설명되지 않는 사용량이 보이면 연결 서비스를 끊고 전체 세션을 무효화한 뒤 기기를 점검해야 합니다.
Claude가 페르마 정리를 Lean 코드 1300만줄로 형식화했습니다
성과의 핵심은 새 증명 발견이 아니라 다중 에이전트와 검증기로 형식화를 자동화한 데 있습니다.
Claude가 CarPlay에서 음성 대화와 기존 채팅 이어가기를 지원합니다
차량에서도 AI 대화를 이어갈 수 있지만 운전 중에는 음성 중심의 보조 용도로만 쓰는 편이 안전합니다.
Claude가 페르마 정리를 1,300만줄 Lean 코드로 옮겼습니다
장기 다중 에이전트는 방대한 검증 작업을 압축할 수 있지만 비용과 코드 재사용성은 별도 평가가 필요합니다.
Claude 합류로 CarPlay 지원 AI 챗봇이 5개로 늘었습니다
차량용 AI 선택은 모델 성능뿐 아니라 음성 조작의 방해 정도와 대화 데이터 처리 조건까지 비교해야 합니다.
Anthropic이 Claude 파일의 C2PA 확인 도구를 공개했습니다
출처 표시는 생성 도구와 변조 흔적을 확인하는 보조 신호일 뿐 콘텐츠의 진실성 판정 수단은 아닙니다.
Claude Fable 5.1 에이전트가 실제 장소를 3D 세계로 재구성했습니다
복잡한 생성 작업은 에이전트 수보다 출처 기록, 시각 비교와 전문 역할별 재검수 단계가 품질을 좌우합니다.
Claude가 사용자의 Mac 작업을 방해하지 않고 백그라운드에서 실행됩니다
동시 작업성은 좋아지지만 화면 제어 허가 범위와 세션별 작업 로그를 계속 확인해야 합니다.
ChatGPT와 Claude 및 Grok이 같은 시간대 장애 뒤 복구됐습니다
핵심 업무는 공급자별 상태 페이지와 대체 경로를 준비하되 동시 장애를 단일 원인으로 추정하면 안 됩니다.
Claude Fable 5.1용 에이전트 프롬핑 지침이 공개됐습니다
모델 교체 전 effort와 캐시 이력을 재평가하고 병렬 호출,완료 조건을 하네스 지침으로 명시해야 합니다.
Claude가 Mac에서 컴퓨터 작업을 백그라운드 실행합니다
멀티태스킹 이점이 큰 만큼 전용 작업 공간과 최소권한, 실행 전 승인 규칙을 갖춘 뒤 도입해야 합니다.
Claude Fable 5.1이 코딩 성능과 에이전트 비용을 함께 개선했습니다
긴 에이전트 작업은 캐시 비용이 크게 줄지만 실제 품질과 총비용은 자체 평가로 확인해야 합니다.