2026년 07월 11일 - GPT-5.6이 50년 난제를 풀고, 애플은 OpenAI를 걸어 소송함

AI · ML

AI · LLM

GPT-5.6, 50년 묵은 그래프 이론 난제를 서브에이전트 64개로 한 시간 만에 풀었다고 주장

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

• OpenAI가 7월 10일 GPT-5.6 Sol Ultra 모델이 사이클 이중 피복 추측(Cycle Double Cover Conjecture)의 증명을 만들어냈다고 발표함. 이 추측은 1970년대 Szekeres와 Seymour가 독립적으로 제기한 그래프 이론의 오랜 난제로, 다리 없는(bridgeless) 모든 그래프에 각 간선을 정확히 두 번씩 덮는 사이클 집합이 존재하는지를 묻는 문제.
• 증명은 서브에이전트 64개를 동원해 1시간이 채 안 되는 시간에 완성됐고, 증명문 작성에는 Codex(GPT-5.6 Sol 기반)가 함께 붙음. OpenAI 리서처 Ethan Knight가 X에서 프롬프트와 증명 전문을 공개.
• PDF 공개 직후 Hacker News 프론트페이지에 오르고 위키피디아 문서에도 반영될 만큼 화제가 됨.
• 다만 아직 수학계 검증 전 단계 — OpenAI 스스로도 "claim"이라는 표현을 씀. 동료 검토가 남아 있는 상태라 성급한 결론은 이름.
• GPT-5.6은 며칠 전 공개된 최신 플래그십 모델이고 Sol Ultra는 그중 최상위 추론 등급. Anthropic·xAI와의 경쟁 구도 속에서 수학 증명 같은 하드 벤치마크로 존재감을 과시하려는 흐름의 일환.

---

AI · 에이전트

긴 작업 중 에이전트가 까먹는 문제, 옆에서 지켜보는 '메모리 에이전트'로 해결

Remember When It Matters: Proactive Memory Agent for Long-Horizon Agents

• 논문 제목은 "Remember When It Matters: Proactive Memory Agent for Long-Horizon Agents", Yifan Wu 등 8명 저자로 arXiv 2607.08716에 공개됨.
• 문제의식은 "behavioral state decay" — 작업이 길어질수록 초기에 확인한 요구사항·환경 정보·이전 시도 결과 같은 결정에 필요한 정보가 컨텍스트 창 밖으로 밀려나거나 묻혀서 에이전트가 활용하지 못하게 되는 현상.
• 해법은 별도의 메모리 에이전트를 액션 에이전트 옆에 붙이는 구조. 액션 에이전트 자체는 건드리지 않고, 메모리 에이전트가 최근 궤적을 보며 구조화된 메모리 뱅크를 갱신하고 필요할 때만 메모리 기반 리마인더를 주입하거나 침묵함.
• Terminal-Bench 2.0에서 pass@1 +8.3%p, τ²-Bench에서 +6.8%p 개선. 약한 에이전트든 강한 에이전트든 모두 효과가 있었고, 무조건 주입하거나 수동적으로 메모리를 노출하는 방식보다 선택적 개입이 더 나은 성능을 보임.
• 오픈웨이트 실험으로 Qwen3.5-27B를 SFT·GRPO로 학습시켜 검증 리워드를 높이고 Terminal-Bench로 일부 전이시키는 데도 성공 — 상용 모델에 종속되지 않는 메모리 정책 연구의 초기 사례.

개발 · 플랫폼

개발 · 오픈소스

구글 크롬 엔지니어링 리드가 만든 'AI 코딩 에이전트 스킬 모음', 하루 만에 스타 1,100개

addyosmani/agent-skills

• Addy Osmani(구글 크롬 엔지니어링 리드)가 공개한 오픈소스 저장소 addyosmani/agent-skills. GitHub Trending 기준 하루 만에 스타 1,114개가 붙음.
• 테스트, 접근성, 성능, 코드 리뷰, 디버깅, 마이그레이션처럼 실무에서 반복되는 엔지니어링 관행을 마크다운 기반 "스킬" 파일로 패키징함. 각 스킬은 단계·검증 체크포인트·종료 기준을 갖춘 워크플로 형태.
• 스킬 CLI(npx skills add addyosmani/agent-skills)로 Claude Code, Cursor, Codex, Copilot, Cline 등 70개 이상 에이전트에 바로 설치 가능.
• 막연한 "AI 코딩 잘하는 법" 조언을 재사용 가능한 체크리스트로 바꿨다는 게 인기 요인. 누적 스타 32,961개, 포크 3,809개까지 늘어난 상태.

---

개발 · AI 거버넌스

'휴먼 인 더 루프'는 거버넌스가 아니라 책임 떠넘기기용 도장일 뿐

Human-in-the-Loop Is Not a Governance Strategy

• Goutham Nishkal Deep Ueda가 쓴 에세이. 에이전트가 만든 액션에 사람이 승인 버튼만 누르는 구조를 "휴먼 인 더 루프(HITL)"라 부르며 거버넌스로 포장하지만, 실제로는 책임을 시스템에서 사람으로 옮기는 도장 찍기에 불과하다고 지적함.
• 하루에 승인 요청 40개를 받으면 결국 다 비슷해 보여서 기계적으로 승인만 누르게 되고, 감사 로그에는 "사람이 승인함"이라고만 남아 실제로는 검토가 이뤄지지 않았는데도 검토된 것처럼 기록되는 문제를 짚음.
• 대안으로 제시하는 건 원본 페이로드(예: SQL 쿼리) 대신 에이전트의 의도·확신도·되돌릴 수 있는지 여부를 요약해서 보여주는 방식. "중복 트라이얼 유저 삭제, 영향 1건, 되돌릴 수 없음, 확신도 60%, 잘못되면 야간 백업으로 복구" 식으로 사람이 실제로 판단할 수 있는 정보를 주는 게 핵심이라는 것.
• 에이전트가 액션을 실행하는 프로덕션 시스템이 늘어나는 지금, "사람이 있으니 안전하다"는 형식적 안전장치에 대한 경고로 읽힘.

산업 · 비즈니스

산업 · 빅테크

애플, OpenAI 하드웨어 총괄 탕탄 걸어 영업비밀 도용 소송

Apple Is Suing OpenAI for Allegedly Stealing Hardware Secrets

• 애플이 7월 10일 OpenAI와 하드웨어 총괄 Tang Tan을 상대로 캘리포니아 북부지방법원(산호세)에 영업비밀 도용 및 계약 위반 소송을 제기함. 애플에서 24년 근무하며 아이폰·애플워치 제품 디자인 부사장까지 지낸 탕탄이 퇴사 예정 직원들에게 애플 보안 절차를 피하는 방법을 코치하고 면접에 애플 미공개 부품을 가져오도록 지시했다는 게 핵심 주장.
• 함께 피소된 Chang Liu는 애플에서 8년간 시스템 전기 엔지니어로 근무하다 2026년 OpenAI로 이직하며 회사 지급 노트북을 반납하지 않고 기밀 기술 문서를 내려받은 혐의를 받음.
• 애플은 소장에서 OpenAI의 신생 하드웨어 사업을 "도용된 영업비밀 위에 세워진 가장 불안정한 토대"라고 표현함. OpenAI가 애플 몰래 얻은 금속 마감 기법을 파트너사에 애플 허가를 받은 것처럼 속이고 사용했다는 구체적 사례도 적시.
• OpenAI는 2024년부터 애플과 아이폰·맥북·아이패드에 ChatGPT를 탑재하는 파트너십을 맺어온 사이지만, 최근 애플이 자체 AI 모델 기반을 구글 제미나이로 옮기며 관계가 냉각됨. OpenAI는 애플 출신을 400명 넘게 채용했고, 지난해 탕탄 등 애플 베테랑이 공동창업한 하드웨어 스타트업 io Products를 65억 달러에 인수하기도 함.
• 2017년 웨이모가 우버를 상대로 낸 자율주행 영업비밀 소송(우버가 2억4,500만 달러에 합의) 이후 실리콘밸리 최대 규모 IP 분쟁으로 번질 가능성이 있다는 평가.

---

산업 · 파트너십

앤트로픽, 공장·반도체 현장에 클로드 심는다 — UST와 손잡고 엔지니어 2만 명 교육

Ust Claude

• Anthropic이 7월 9일 기술·엔지니어링 서비스 기업 UST와 파트너십을 발표함. UST는 반도체·자동차·제조·통신·임베디드·IoT 기업이 설계 검증, 칩 밸리데이션, 공장 운영, 현장 서비스에 쓰는 엔지니어링 시스템을 구축·운영하는 회사.
• 핵심 사례는 UST의 하드웨어·실리콘 검증 플랫폼 iDEC. 기존에는 엔지니어가 테스트 스크립트를 손으로 작성·실행·결과 확인을 반복해야 했는데, Claude Code가 스키매틱과 핀아웃을 직접 읽고 회귀 테스트를 작성·실행하는 방식으로 자동화함. 이 폐쇄 루프 파이프라인이 검증 사이클을 50~70% 단축시켜 통상 4일 걸리던 작업을 48시간으로 압축.
• Claude는 실제 장비에서 나온 라이브 데이터를 디지털 트윈과 비교해 펌웨어 회귀나 신호 무결성 결함도 잡아내는 역할까지 맡음.
• UST는 이번 파트너십으로 엔지니어·아키텍트·컨설턴트 등 전 세계 2만 명을 클로드로 훈련시킬 계획. 화면 안 소프트웨어를 넘어 장비·로봇 같은 물리 세계로 AI를 확장하는 "피지컬 AI" 흐름을 보여주는 사례.