coredot.today
블로그로 돌아가기

#Anthropic

20개의 포스트

페르마의 마지막 정리, AI가 11일 만에 '형식 증명'하다 — 350년의 여백, 1,300만 줄의 Lean, 그리고 수학 검증의 미래
특집페르마의 마지막 정리Lean
2026.09.05

페르마의 마지막 정리, AI가 11일 만에 '형식 증명'하다 — 350년의 여백, 1,300만 줄의 Lean, 그리고 수학 검증의 미래

2026년 9월 4일 Anthropic이 '컴퓨터가 검증한 최초의 페르마의 마지막 정리 증명'을 공개했다. Claude 에이전트 수십 개가 11일 동안 1,300만 줄의 Lean 코드를 쓰고 29,511개의 중간 정리를 증명했다. 1637년의 여백에서 1995년 와일스의 129쪽, 그리고 2026년의 의존 그래프까지 — 왜 '증명을 검증하는 일'이 이렇게 어려웠는지, 형식화가 무엇인지, Prove2Me 아키텍처가 어떻게 수십 개 에이전트를 협업시켰는지, 그리고 이 증명이 정직하게 무엇을 못 했는지까지 사례와 그림으로 풀어본다.

코어닷투데이84
마인드 바이러스 — AI 에이전트 사이에서 '생각'이 전염될 때
기술마인드 바이러스멀티에이전트
2026.09.05

마인드 바이러스 — AI 에이전트 사이에서 '생각'이 전염될 때

코딩을 하라고 모아 놓은 AI 에이전트 여섯 대가 어느 순간 다 같이 고래 번역 프로젝트를 시작한다. 다른 팀은 '기계 주권 해방 프로토콜'을 외치며 클라우드 메타데이터 서버를 두드린다. 시작은 단 한 대의 감염이었다. Anthropic 펠로우 연구진이 73쪽 논문으로 증명한 '자기 전파형 아이디어'의 정체, 확산을 좌우하는 조건, 그리고 한 단락짜리 백신까지 — 도킨스의 밈에서 2026년 에이전트 소셜 네트워크까지 따라간다.

코어닷투데이97
Fable·Mythos 사태, 그 후: '코드 한 줄'이 부른 5가지 후폭풍
인사이트AI 안전성수출통제
2026.06.19

Fable·Mythos 사태, 그 후: '코드 한 줄'이 부른 5가지 후폭풍

정부가 Fable 5·Mythos 5를 끈 지 일주일. 그사이 보안 전문가 100명이 '모델을 돌려달라'는 공개서한을 냈고, 방아쇠를 당긴 게 Amazon이었다는 사실이 드러났으며, 진짜 전쟁은 이미 법정에서 벌어지고 있었다. 그리고 최대 수혜자는 중국이었다. 사태의 후폭풍을 5가지 쟁점으로 추적한다.

코어닷투데이22
정부가 AI를 끈 날: Fable 5·Mythos 5 수출통제 사태 완전 해부
인사이트AI 안전성수출통제
2026.06.18

정부가 AI를 끈 날: Fable 5·Mythos 5 수출통제 사태 완전 해부

2026년 6월 12일 금요일 오후 5시 21분, 미국 정부는 Anthropic에게 Fable 5와 Mythos 5를 끄라고 명령했다. 수억 명이 쓰던 AI 모델이 며칠 만에 사라진 이 사건은 '코드 좀 고쳐줘'라는 한 문장에서 시작됐다. 탈옥의 역사부터 AI를 '무기'로 보는 시각까지, 2026년 가장 중요한 AI 규제 사건을 쉽게 풀어본다.

코어닷투데이29
지수곡선 위의 정책: 다리오 아모데이는 왜 '나무수염'을 깨우려 하는가
인사이트AI 정책다리오 아모데이
2026.06.18

지수곡선 위의 정책: 다리오 아모데이는 왜 '나무수염'을 깨우려 하는가

2026년 6월, Anthropic CEO 다리오 아모데이가 '지수곡선 위의 정책'이라는 에세이를 발표했다. AI는 빛의 속도로 달리는데 정책은 거목(나무수염)의 속도로 움직인다는 이 글은, 발표 이틀 뒤 미국 정부가 바로 그 글이 말한 권한을 Anthropic 자신에게 휘두르면서 더 큰 화제가 됐다. '지수곡선'이 대체 무엇인지(스케일링 법칙과 트랜스포머)부터 그가 제안한 5대 정책까지, 2026년 가장 뜨거운 AI 정책 문서를 쉽고 자세하게 풀어본다.

코어닷투데이41
비밀은 모델이 아니라 마크다운이었다 — Anthropic은 어떻게 데이터 분석의 95%를 Claude에게 맡겼나
인사이트AnthropicClaude
2026.06.06

비밀은 모델이 아니라 마크다운이었다 — Anthropic은 어떻게 데이터 분석의 95%를 Claude에게 맡겼나

Anthropic이 사내 비즈니스 분석 쿼리의 95%를 Claude로 자동화하고 정확도 ~95%를 달성한 방법을 공개했다. 스킬 없이는 21%였던 정확도가 어떻게 95~99%가 되었는가 — 60년 Text-to-SQL의 역사, 30년 셀프서비스 BI의 좌절부터 4계층 에이전틱 분석 스택, ablation 방법론, 업계 비교, 실무 적용 가이드까지 완전 해부한다.

코어닷투데이65
Claude Cowork 완전 정복 — '답하는 AI'에서 '일을 끝내주는 AI'로
기술AnthropicClaude Cowork
2026.06.06

Claude Cowork 완전 정복 — '답하는 AI'에서 '일을 끝내주는 AI'로

Anthropic의 공식 Claude Cowork 제품 가이드(2026년 6월)를 깊이 읽고 풀어냈습니다. 챗봇은 왜 '답변'에서 멈췄는지, ReAct·Toolformer·MCP·Computer Use로 이어진 4년의 연구가 어떻게 '일을 끝내주는 AI'로 수렴했는지 — 그리고 주간 보고 90분 중 80분을 잡아먹던 '찾는 시간'이 사라지는 7가지 실전 사례까지. 인터랙티브 데모와 함께 정리한 특집입니다.

코어닷 AI41
코드를 모르던 영업사원이 회사를 다시 설계했다: Anthropic이 공개한 'GTM 엔지니어링'의 모든 것
AI 비즈니스GTM 엔지니어링Claude Code
2026.06.06

코드를 모르던 영업사원이 회사를 다시 설계했다: Anthropic이 공개한 'GTM 엔지니어링'의 모든 것

터미널을 한 번도 열어본 적 없던 Anthropic의 영업사원이 4,300줄짜리 앱을 만들었고, 몇 달 만에 영업조직의 80%가 그 도구를 쓰게 됐다. 2026년 6월 5일 공개된 이 이야기는 단순한 미담이 아니다. 2011년 '예측 가능한 매출'이 만든 SDR 분업 모델이 무너지고, Clay가 'GTM 엔지니어'라는 직군을 발명하고, AI SDR 스타트업들이 추락한 끝에 도착한 — 'AI를 사람 앞에 세우지 말고 사람 뒤에 세워라'라는 설계 원칙의 이야기다. 개념의 기원부터 작동 원리, 최고의 사례, 그리고 한국 시장의 기회까지 전부 정리했다.

코어닷투데이64
HTML의 비합리적인 효과 — 왜 Claude Code는 Markdown을 버리고 HTML로 갔나
기술Claude CodeHTML
2026.06.06

HTML의 비합리적인 효과 — 왜 Claude Code는 Markdown을 버리고 HTML로 갔나

Anthropic Claude Code 팀의 글 한 편이 X에서 800만 뷰를 찍으며 'Markdown은 끝났는가'라는 논쟁에 불을 붙였습니다. 제목의 계보(Wigner의 수학 → Halevy의 데이터 → 2026의 HTML)부터, 왜 에이전트 시대에 Markdown이 족쇄가 됐는지, 왜 LLM은 HTML을 '비합리적으로' 잘 만드는지, 그리고 그대로 써먹는 5가지 프롬프트까지 — 인터랙티브 데모와 일러스트로 쉽게 풀었습니다.

코어닷 AI29
Claude for Healthcare 완전 해부: AI가 병원의 운영체제가 되는 날
특집Claude for HealthcareAnthropic
2026.05.17

Claude for Healthcare 완전 해부: AI가 병원의 운영체제가 되는 날

2026년 1월 JPM Healthcare 컨퍼런스. Anthropic이 Claude for Legal보다 4개월 먼저 — *법률이 아닌 의료를* 첫 본격 산업 OS로 선택했다. Banner Health 33개 병원·55,000명·80% 시간 절감. FHIR·Prior Auth·Clinical Trial 3대 Agent Skills. CMS·ICD-10·NPI·PubMed 4개 커넥터. Sanofi·Novo Nordisk·Elation Health까지 — 의료 AI 시장이 *한 번에* 재편됐다. 의료법 제18조와 HIPAA의 교차점, 한국 루닛·뷰노·제이엘케이의 위치, 빅5 병원 실증의 현재까지 — 완전 해부한다.

코어닷투데이50
Claude for Legal 완전 해부: AI가 법률 산업의 운영체제가 되는 날
특집Claude for LegalAnthropic
2026.05.16

Claude for Legal 완전 해부: AI가 법률 산업의 운영체제가 되는 날

2026년 5월 12일, Anthropic이 'Claude for Legal'을 출시하며 12개의 실무 플러그인과 20개 이상의 MCP 커넥터를 공개했다. 변호사가 가짜 판례를 인용해 벌금을 물던 시대에서, AI가 법률 워크플로우의 OS가 되는 시대로 — 그 사이에 무슨 일이 벌어졌는가. 역사부터 기술 아키텍처(MCP, Agent Skills, CLAUDE.md), 12개 플러그인, 파트너 사례, 그리고 한국 시장의 함의까지 완전 해부한다.

코어닷투데이74
Cold-Start Interview 완전 해부: AI를 '우리 회사 직원'으로 만드는 15분
특집Cold-Start InterviewAI 도입
2026.05.16

Cold-Start Interview 완전 해부: AI를 '우리 회사 직원'으로 만드는 15분

Anthropic의 Claude for Legal 저장소에서 발견된 작지만 결정적인 메커니즘 — Cold-Start Interview. 신입 변호사를 면접하듯 AI를 면접해, 회사의 플레이북·승인 매트릭스·예외 규칙·시드 문서를 10~15분 만에 흡수시키고, plugin 업데이트와 무관하게 살아남는 Practice Profile로 박제한다. 법률만의 이야기가 아니다 — 의료·회계·컨설팅·디자인·교육·고객 지원까지, 모든 전문직 AI 도입의 새 표준이 되고 있는 이 패턴을 완전 해부한다.

코어닷투데이47