OpenAI, AI가 지수 시간 가설을 반증했다고 주장
OpenAI는 자사 AI가 3-SAT 관련 지수 시간 가설을 반증했다고 밝혔습니다. Claude Code 토큰 소모와 머스크의 Grok 오디세이도 화제였습니다.

OpenAI가 자사 AI가 컴퓨터 과학의 핵심 가설인 지수 시간 가설을 반증했다고 주장했습니다. 이 가설은 3-SAT의 가장 어려운 사례를 풀려면 지수 시간이 필요하다는 내용입니다.
사실로 확인되면 이론 컴퓨터 과학의 중요한 한계에 의문을 던지게 됩니다. 다만 P 대 NP 문제가 해결되는 것은 아닙니다. 증명은 Lean으로 형식화돼 GitHub에 공개됐습니다. 앞으로 이 가설을 제시한 두 연구자를 포함해 독립적인 검증이 필요합니다.
Claude Code 토큰 소모
Flamerix AI는 Claude Code의 자동 요약 기능을 끄는 스크립트를 공개했습니다. 이 회사는 해당 요약이 토큰의 15~20%를 소모한다고 추정합니다. 몇 단어짜리 라벨을 30초마다 만들기 위해 활성 에이전트 전체의 이력을 모델에 다시 보낸다는 주장입니다.
Anthropic은 이 동작을 인정했습니다. 다만 비용은 API 기준 약 2%, 터미널 기준 약 6%로 평가했으며, 캐시를 활용한 수정 사항을 배포하기 시작했다고 밝혔습니다.
머스크의 Grok 오디세이
일론 머스크는 Grok Imagine을 다시 가동해 호메로스의 서사시에서 영감을 받은 AI 작품을 선보였습니다. "역사적으로 정확하다"고 소개했으며, 크리스토퍼 놀런의 영화 '오디세이'와 맞서려는 의도입니다. 머스크는 놀런의 캐스팅을 공개적으로 비판하며 아카데미의 다양성 요건 때문이라고 주장했습니다.
Wonder Studios와 제작한 7분짜리 첫 에피소드는 AI 영상 생성의 기술적 진전을 보여주지만, 굳은 애니메이션과 부족한 존재감도 드러냈습니다. 반응은 크게 엇갈렸습니다.
같은 날의 다른 뉴스
전체 보기 →관련 카테고리: AI
전체 보기 →
폴란드 AI 이용률 39.8%로 급증, 청년·노년층 모두 늘었다

구글 제미나이, AI 아바타 친구 공유로 함께 등장



