2026년 9월 6일 AI 뉴스 — 페르마 정리 증명, 세일즈포스 클로드 청구서, 에이전트 도구 선택

오늘의 AI 뉴스는 "에이전트가 실제로 무엇을 해냈고, 그 대가로 무엇을 치르는가"에 관한 이야기로 모였습니다. 수학 정리 증명부터 회로 설계 벤치마크, 그리고 클라우드 청구서와 엔지니어의 감각 상실까지. 8건을 정리했습니다.

클로드 에이전트, 페르마 정리 11일 만에 증명

앤트로픽이 클로드 에이전트를 대규모로 투입해 페르마의 마지막 정리에 대한 최초의 완전한 기계 검증 증명을 완성했습니다. 소요 기간은 약 11일, 결과물은 Lean 코드 1,300만 줄입니다. 수학 표준 라이브러리인 Mathlib보다 5배 이상 큰 규모입니다. 과정에서 3만 300개의 정리를 증명했고 그중 2만 9,500개가 최종 증명에 편입됐습니다. 소모된 출력 토큰은 약 60억 개, 사용된 모델은 클로드 페이블 5.1에 준하는 내부 연구용 모델이었습니다.

기술적으로 더 흥미로운 부분은 오케스트레이션입니다. 성패를 가른 것은 Prove2Me라는 협업 플랫폼으로, 정리 명제들을 방향성 비순환 그래프(DAG)로 관리했습니다. 이 구조 덕분에 에이전트들은 프로젝트 상태를 추적하고, 병렬 작업을 조율하고, 명제와 증명을 분리해 컴파일 부담을 줄이고, 자연어로 정리를 검색할 수 있었습니다. 초기 시도들은 에이전트들이 서로 조율을 잃으면서 실패했고, 그 흔적이 비보일러플레이트 코드의 약 7%로 남아 있습니다.

주목할 점은 인간의 개입이 최소한이었다는 것입니다. 수학적 지도는 "야코비안을 스킴으로 다루는 게 우선순위가 높아 보인다" 같은 고수준 지시가 거의 전부였습니다. 규모를 줄인 실험도 있습니다. 클로드 맥스 구독 3개만으로 비노그라도프의 세 소수 정리를 3일 만에 형식화했습니다. 대형 랩이 아니어도 이런 협업 형식화가 가능하다는 뜻입니다.

원문 보기

코딩 에이전트가 실제로 고르는 도구

Armature가 클로드 코드·코덱스·커서를 대상으로 1만 6,893회의 세션 실험을 돌렸습니다. 10개 언어, 75개 저장소, 1,163가지 프롬프트 변형에 바이브 코더·주니어·시니어·엔터프라이즈 네 가지 개발자 페르소나를 시뮬레이션했고, 최종적으로 18개 산업군 51개 코드베이스에서 나온 유효 세션 5,292건을 분석해 공개했습니다.

결과는 카테고리별로 뚜렷합니다. 결제는 스트라이프가 90% 승률로 압도했고, 페이팔은 139번 언급됐지만 한 번도 선택되지 않았습니다. 데이터베이스는 Neon이 66%, 이메일은 Resend 35.6%·Postmark 27.4%인데 언어에 따라 갈립니다. 타입스크립트에서는 Resend, 파이썬에서는 SendGrid가 이깁니다. 파일 스토리지는 S3가 45%, 배포는 타입스크립트·Next.js에서 Vercel, 파이썬에서 Render가 우세했습니다.

두 가지 시사점이 있습니다. 개발자 입장에서는 세 에이전트가 동일한 도구를 고르는 경우가 전체 셀의 42%에 불과하다는 점 — 에이전트 추천은 아직 일관되지 않으며, 저장소 맥락에 따라 같은 요청도 다른 답이 나옵니다. 벤더 입장에서는 노출량이 곧 채택이 아니라는 점입니다. LangChain은 194번 언급됐지만 선택은 4번뿐이었고, Mailgun은 "보관 1일"이라는 스펙 한 줄 때문에 Postmark에 밀렸습니다.

원문 보기

세일즈포스, 클로드 청구서에 마진 흔들

세일즈포스가 AI 토큰 비용 때문에 영업이익률 가이던스를 올리지 못했다고 공식 인정했습니다. 마크 베니오프 CEO는 2026년 5월 앤트로픽에 3억 달러를 지출할 예정이라고 밝힌 바 있습니다. 마이크 스펜서 부CFO의 설명은 더 직접적입니다. "약 6개월 전 R&D 사이클에 클로드를 풀어놨습니다. 올해 마진 가이던스를 올리지 못한 이유 중 하나가 그 토큰 비용을 흡수하고 있기 때문입니다."

숫자로 보면 2분기 실적 기준 20.5%였던 영업이익률 전망이 연간 가이던스에서 20.1%로 내려갔습니다. 회사의 대응은 스펜서가 "정제 모드(refinement mode)"라고 부른 전략입니다. 최신 모델을 전방위로 쓰는 대신 "작업에 맞는 모델을 처방"하겠다는 것으로, 그의 표현대로라면 "대다수 작업은 최신 세대 모델이 필요 없습니다." 동시에 OpenAI·커서·클로드·그록을 함께 시험하며 비용 구조를 최적화하고 있습니다.

AI 비용이 실험 예산이 아니라 손익계산서 항목이 되는 국면입니다. 멀티 모델 라우팅이 엔지니어의 취향 문제가 아니라 CFO의 관심사라는 걸 대기업 실적 발표로 확인해준 사례입니다.

원문 보기

오퍼스·페이블 vs 아스트라 실사용 비교

GPT-6 아스트라 출시 직후, r/ClaudeCode에 클로드 오퍼스·페이블과 아스트라를 실제 코딩 작업에 나란히 붙여본 사용기가 올라왔습니다. 벤치마크 점수가 아니라 실무 태스크에서의 체감 차이를 다룬다는 점이 특징입니다.

새 모델이 나올 때마다 리더보드는 넘치지만, 정작 필요한 정보는 "내 워크플로우에서 무엇이 달라지는가"입니다. 모델 전환을 고민 중이라면 본문보다 댓글 스레드가 더 유용할 수 있습니다. 같은 작업을 다른 스택에서 돌려본 사람들의 반례가 거기 모이기 때문입니다.

원문 보기

AI 회로 설계 벤치마크, 최고 61.6%

EEBench는 AI가 실제로 동작하는 회로를 설계할 수 있는지 측정하는 벤치마크입니다. GUI 기반 CAD 대신 atopile이라는 선언형 코드를 쓰게 해서, 에이전트가 부품과 전기적 제약을 직접 다루고 시뮬레이션까지 돌리도록 합니다. 실제 제조사 부품의 데이터시트 스펙과 공차까지 반영해 성능·비용·수급 사이의 실무적 트레이드오프를 재현합니다.

채점은 완전히 결정론적입니다. 하네스가 제출된 설계를 빌드해 회로 그래프와 BOM을 만들고, SPICE 시뮬레이션과 설계 검증을 돌려 전압 임계값·게인·리플 같은 요구사항을 측정값으로 대조합니다. 기술 점수에 비용 효율이 더해지는데, "회로가 동작해야만 비용이 점수에 도움이 된다"는 원칙입니다. 코딩 에이전트에게 컴파일러와 유닛 테스트를 쥐여주는 것과 같은 발상입니다.

2026년 9월 리더보드는 클로드 오퍼스 5가 61.6%로 선두, 그록 4.6이 57.1%, 클로드 페이블 5.1이 56.4%로 뒤를 잇습니다. GPT-5.5는 42.3%, GPT-5.6 Sol은 39.4%였습니다. 실패 양상도 구체적입니다. 어떤 설계는 공칭 정전용량은 충족했지만 동작 전압에서 실효 정전용량이 11.4µF에 그쳐 요구치 545µF에 한참 못 미쳤습니다. 벤치마크 저자의 말대로 "방정식을 맞히는 건 전자공학의 일부일 뿐"이고, 부품 선정과 공차 분석에서 AI는 아직 약합니다.

원문 보기

6천 줄 AI PR, 코드리뷰 생존법

평균 6,000줄짜리 AI 생성 PR을 어떻게 리뷰할 것인가. Lobsters에서 벌어진 이 논의에 실무자들의 처방이 모였습니다.

정리하면 여섯 가지입니다. 첫째, 리뷰 가능한 크기를 넘는 PR은 출처와 무관하게 거절하고 쪼개게 할 것. 둘째, AI 도구 자체를 써서 논리 단위의 스택형 PR로 분해할 것. 셋째, 작성자에게 "왜"와 "무엇"을 글로 쓰게 하고 본인이 그 코드를 이해했는지 확인할 것. 넷째, AI 리뷰 도구(클로드·Greptile·CodeRabbit)는 인간 리뷰 이전의 1차 필터로만 쓸 것. 다섯째, 우리 조직이 "사람이 코드를 완전히 이해하는 모델"인지 "그 책임을 에이전트에 위임하는 모델"인지 명시적으로 합의할 것.

여섯째가 핵심입니다. 이건 결국 조직·관리의 문제라는 지적입니다. 리더십이 품질 기준을 강제하지 않으면 개별 리뷰어는 타협과 갈등 사이에서 선택을 강요받습니다. 작성 속도만 폭발적으로 빨라지고 리뷰 대역폭은 그대로인 상태를 방치하면, AI 생산성은 리뷰 대기열에서 증발합니다.

원문 보기

DHH, 코딩 대신 에이전트 팀 운영으로

루비 온 레일즈 창시자 DHH가 렉스 프리드먼 팟캐스트 501화에 출연해 프로그래밍의 미래를 이야기했습니다. 주제는 AI, 에이전틱 엔지니어링, 바이브 코딩, 그리고 리눅스입니다. 핵심 논지는 개발자의 역할이 직접 코드를 작성하는 일에서 AI 에이전트 팀을 운영하는 일로 옮겨간다는 것입니다.

프레임워크 설계로 이름을 알린 사람이 에이전틱 엔지니어링을 논한다는 점이 흥미롭습니다. 추상화를 만들어 반복 작업을 없애온 사람이, 이제 에이전트라는 새로운 실행 단위를 어떻게 조직할지 이야기하는 셈입니다. 레일즈의 "설정보다 관습" 철학이 에이전트 운영에 어떻게 적용될지가 관전 포인트입니다.

원문 보기

AI가 장애 처리하자 엔지니어 감 잃었다

AI가 일상적 장애를 자동으로 해결하게 되면서, 엔지니어가 자기 시스템에 대한 직관을 기를 기회를 잃고 있다는 진단입니다. 자동화가 처리하지 못하는 복잡하고 낯선 장애가 터졌을 때, 대응할 사람에게 실전 경험이 남아 있지 않다는 것이 문제의 핵심입니다.

새로운 이야기는 아닙니다. 필자는 1983년 리산 베인브리지의 논문 "자동화의 역설(The Ironies of Automation)"을 인용합니다. 자동화는 연습 기회를 줄이면서도 비정상 상황의 책임은 인간에게 남긴다는 고전적 지적입니다. 항공 업계와의 대비도 선명합니다. 상용 조종사가 엔진 정지를 겪을 확률은 비행시간 10만 시간당 1회 미만이지만, 그들은 정기적으로 시뮬레이터 훈련을 받습니다. 트랜스아시아 235편 추락은 승무원이 드문 고장을 오판했을 때 어떤 일이 벌어지는지 보여줍니다. 필자의 예측은 이렇습니다. 평균 장애 해결 시간은 개선되겠지만, "복잡한 장애의 해결 시간은 치솟을 것"이다. 대응자가 시스템과의 접점을 잃었기 때문에.

처방은 세 가지입니다. 관측 도구를 실제로 쓰고 이해관계자와 조율하는 현실적 시나리오 훈련, 낯선 실패에 노출되는 정기적 실습, 그리고 카오스 엔지니어링처럼 장애 시뮬레이션을 온콜 자격 요건으로 의무화하는 조직적 결단입니다.

원문 보기

마치며

오늘 뉴스를 관통하는 축은 "규모"와 "청구서"입니다. 에이전트 플릿으로 1,300만 줄짜리 페르마 정리 증명을 11일 만에 뽑아낼 수 있게 된 바로 그때, 세일즈포스는 그 토큰 값 때문에 마진 가이던스를 0.4%p 낮췄습니다. 60억 토큰이라는 숫자와 3억 달러라는 숫자는 같은 현상의 양면입니다.

리뷰 병목과 엔지니어 감각 상실도 결국 같은 이야기입니다. 생산 속도만 올라가고 검증과 사람 쪽 역량이 그대로면, 이득은 대기열과 미래의 장애 시간으로 옮겨갈 뿐입니다. EEBench가 SPICE 시뮬레이션으로, 페르마 프로젝트가 Lean 컴파일러로 답을 검증했다는 점이 힌트일지 모릅니다. 에이전트를 크게 굴리려면 채점자를 먼저 만들어야 합니다.

나무숲은 이런 AI 뉴스를 매일 정리해 전해드립니다. 오늘 정리가 도움이 되셨다면 내일 아침도 함께해 주세요.