Finding Miscompiles for Fun, Not Profit

Justin Lebar · SemiAnalysis · 2026년 5월 28일, 00:22 · ⏱ 9 분 소요  | Substack에서 읽기 ↗
요약
해당 기사는 작성자가 AI 에이전트(Opus, ChatGPT)를 사용하여 컴파일러(LLVM, NVIDIA의 ptxas, AMD의 GPU 백엔드)를 퍼징하고 수백 개의 버그(중요한 원자 저장소 오컴파일 포함)를 발견한 방법을 설명합니다. AI 기반 버그 사냥이 이제 높은 비용(세션당 $10,000 이상)으로 실행 가능하며 이 능력 격차가 확대될 것이라고 주장하지만, 금융 투자 아이디어나 시장 영향은 제공하지 않습니다.
  • 작성자는 단일 오후에 AI 서브 에이전트(Claude Opus 4.7)를 실행하여 LLVM 소스 코드를 읽고 버그를 찾는 데 $10,000 이상을 지출했으며, 4분마다 하나의 버그를 발견했습니다.
  • ChatGPT 5.5를 사용한 바이브 코딩 퍼저는 며칠 만에 NVIDIA의 ptxas에서 80개 이상의 오컴파일 재현 케이스를 발견했고 AMD의 GPU 백엔드에서도 유사한 비율을 보였습니다.
  • 에이전트가 발견한 중요한 버그 중 하나: LLVM이 원자 저장소를 두 개의 비원자 저장소로 변환하여 프로덕션에서 무음 데이터 손상을 일으켰습니다.
  • 작성자는 코드 읽기 에이전트를 통해 LLVM의 x86 백엔드에서 거의 분당 2개의 버그를 발견했으며, 속도가 줄어들 기미가 없습니다.
  • ptxas용 퍼저는 에이전트 기반 접근 방식(시간당 $10,000 이상)보다 저렴했으며(월 $200 ChatGPT Pro + Opus 토큰 약 $1,000).
  • SemiAnalysis는 에이전트가 실행된 날 AI 토큰에 작성자 급여보다 한 자릿수 더 많은 비용을 지출했으며, 작성자가 AI가 자신의 노동보다 더 많은 가치를 제공한다고 느낀 첫 번째 사례였습니다.
읽는 시간 9 분
길이 9,127 자
카테고리 finance
더 보기 SemiAnalysis