검색
사이트 검색
블로그 글과 도구 입구를 검색합니다.
검색 결과: Claude
21 개
Claude, 11일 만에 Lean으로 페르마의 마지막 정리를 형식화하다
Claude 에이전트는 Lean과 Prove2Me 플랫폼을 사용해 페르마의 마지막 정리를 형식화했으며, 수학자 Kevin Buzzard가 독립적으로 검증한 증명을 생성했다.
Anthropic, Claude가 측정된 AI 정렬 실패 10가지를 완화했다고 밝혀
Claude는 문헌을 자율적으로 검색하고, 학습 방법을 제안하며, 실험을 실행해 10가지 정렬 실패 전반에서 측정된 안전 행동을 개선했다.
스탠퍼드 연구, 실행 가능한 Claude 작업의 56%가 결과 중대 또는 고위험 작업으로 확인
연구진은 작업의 위험도, 인간의 통제, 학습, 협업 마찰을 측정하기 위해 약 250,000건의 Claude 대화를 분석했다.
향후 Claude 모델, EU AI 법 규정에 따라 전 세계 텍스트에 워터마크 적용
향후 Claude 모델은 생성된 텍스트에 통계적 워터마크를 삽입하고 지원되는 파일에 서명된 출처 메타데이터를 첨부할 예정이다.
HTML로 Markdown 대체하기: Claude Code 팀의 1차 실무 사례（영문·중문 대조）
HTML은 Markdown보다 정보 밀도가 높고 가독성이 좋으며, 공유 방식도 더 편리합니다. Claude Code 팀의 실제 사례를 바탕으로 한 영문·중문 대조 번역입니다.
CC Switch로 Claude Desktop 연동하기: 로컬 라우팅으로 OpenRouter와 DeepSeek 연결
CC Switch v3.15.0부터 Claude Desktop을 독립적으로 관리할 수 있는 패널을 제공해, 제3자 공급자·모델 매핑·로컬 라우팅을 한곳에서 관리하고 수동으로 Claude Desktop의 3P 설정을 입력하는 번거로움을 줄일 수 있습니다.
Anthropic, 에이전트 비용을 낮춘 Claude Fable 5.1 및 접근이 제한된 Mythos 변형 출시
Anthropic의 새 Fable 및 Mythos 모델은 동일한 기반 지능을 공유하지만 접근 권한, 안전장치, 허용되는 보안 및 생명과학 작업에서 차이가 있다.
왜 Claude, ChatGPT는 계정 위험 관리가 쉽게 발동될까? 네트워크 환경과 IP 신용도 점검 가이드
AI 계정에서 인증, 제한, 이상 알림이 뜨는 것은 보통 단일 원인 때문이 아닙니다. 본문에서는 네트워크 환경, IP 신용도, 지역 일관성, 브라우저 누출 검사 방법을 정리합니다.
스킬 추천: Anything to NotebookLM으로 다중 출처 자료를 NotebookLM 지식 자산으로 정리
여러 출처의 내용을 NotebookLM에서 사용할 수 있는 형태로 정리해 주는, 저장해둘 만한 Claude Skill입니다. 학습, 콘텐츠 정리, 개인 지식 관리에 적합합니다.
CC Switch란 무엇인가요? AI 코딩 도구와 모델 공급자를 통합 관리하는 콘솔
CC Switch는 오픈 소스 크로스 플랫폼 데스크톱 앱으로, Claude Code, Claude Desktop, Codex, Gemini CLI, OpenCode, OpenClaw, Hermes Agent 같은 AI 도구들의 모델 공급자 구성, 로컬 라우팅, 사용량 통계, MCP 및 Skills를 통합 관리할 수 있습니다.
AI 현학 프로젝트 모음: 사주, 자미두수부터 풍수, 타로, 육효까지
전통 술수, 고전 지식 베이스, Claude Skill, MCP 및 AI 해석을 결합한 오픈 소스 프로젝트를 정리했습니다.
AI 구독 가격 비교
ChatGPT, Claude, Gemini, Grok, Perplexity 등 AI 앱의 App Store 구독 가격을 국가별로 비교하고 최저가 지역, 환율 환산, 플랜 차이를 확인합니다.
Skill 추천：Kami가 콘텐츠를 통일되고 배포 가능한 시각적 산출물로 정리해 주기
AI Agent용 문서 디자인 Skill인 Kami를 소개합니다. 단순한 서식 템플릿이 아니라, 콘텐츠를 배포 가능한 문서·슬라이드·랜딩 페이지로 바꾸는 워크플로를 제공합니다.
giffgaff는 무엇인가요? 영국 실물 번호 카드의 개통·인증·저비용 유지 가이드
장기적으로 안정적인 +44 영국 실물 번호가 필요하다면, 가상 번호보다 giffgaff가 인증번호 수신, 해외 서비스 등록, 저비용 유지에 더 적합합니다.
스킬 추천: Guizang PPT Skill, Agent로 웹 PPT·삽화·커버 생성
Guizang PPT Skill은 주목할 만한 오픈소스 PPT 스킬로, Agent를 사용해 글, 의견, 제품 분석을 웹 PPT, 삽화, 소셜 미디어 커버로 정리하는 데 적합하다.
Vibe Coding / Agentic Flow 면접 문제집
이것은 Vibe Coding과 Agentic Flow를 대상으로 한 문제 목록으로, 기본 개념, 도구 상세, 워크플로우 설계, 시스템 아키텍처, 직무적 성찰을 다룹니다.
CodexBar는 무엇인가요? AI 코딩 할당량을 추적하는 macOS 메뉴바 도구
여러 AI 코딩 도구를 동시에 사용하는 경우, CodexBar를 통해 사용 윈도우, 재설정 카운트다운, provider 상태를 메뉴바에서 한 번에 확인할 수 있습니다.
Skill 추천: Superpowers로 코딩 Agent에 워크플로우를 입히기
obra/superpowers라는 코딩 Agent용 Skill/플러그인 프로젝트를 소개하고, AI 코딩 워크플로우에 줄 수 있는 시사점을 정리합니다.
성명: 미국 정부 지시로 Fable 5와 Mythos 5 접근이 중단됨(영문-중문 대조)
미국 정부가 국가안보를 이유로 Fable 5와 Mythos 5의 접근 중단을 요구하면서, Anthropic은 이를 준수해 일시적으로 중단 조치했으며 탈옥 방어 입장과 이의를 공식 성명으로 설명했습니다. 영문-중문 대조로 공식 성명 분석을 제공합니다.
Skill 특집 입문: 프롬프트에서 재사용 가능한 AI 워크플로우로
Skill은 고급 프롬프트가 아니라, 프롬프트·템플릿·프로세스·스크립트·자원을 묶어 재사용 가능한 AI 워크플로우로 만드는 방법이다.
AI 중계 스테이션은 과연 무엇인가요? 저가 API 뒤에 숨은 리스크, 블랙마켓, 그리고 정식 대체안
AI 중계 스테이션이 모두 불법은 아니지만, 저가 API 뒤에는 계정 풀, 모델 전환, 데이터 수집, 비정상 할당량, 잔액 도피 같은 위험이 자주 존재한다.