GPT-6 아스트라, 리우빌 골드바흐 유사 추측 증명: Lean 검증 완료
연구자 Captain Sude는 GPT-6 아스트라를 활용해 리우빌 함수에 관한 골드바흐 유사 추측을 증명했다고 발표했습니다. 2보다 큰 모든 짝수가 리우빌 값이 -1인 두 정수의 합으로 표현된다는 정리로, Lean 4에서 완전한 정형 검증과 공리 감사를 통과했습니다.
연구자 Captain Sude는 GPT-6 아스트라를 활용해 리우빌 함수에 관한 골드바흐 유사 추측을 증명했다고 발표했습니다. 2보다 큰 모든 짝수가 리우빌 값이 -1인 두 정수의 합으로 표현된다는 정리로, Lean 4에서 완전한 정형 검증과 공리 감사를 통과했습니다.
구글이 수백만 개의 자율형 AI 에이전트를 클러스터 환경에서 격리 및 관리할 수 있는 오케스트레이션 런타임 'AX(Agent Executor)'를 오픈소스 공개했다. 쿠버네티스와 유사한 선언형 매니페스트로 샌드박스를 제어하며, 일시 중단 및 SSH 디버깅 기능을 지원한다.
이번 주 중국 AI 스타트업 스텝펀(StepFun)이 플래그십 멀티모달 에이전트 모델 'Step 5 Preview'를 선보였다. 총 6000억 파라미터의 MoE 아키텍처 기반으로 실제 활성화는 270억 개에 불과하며, 100만 토큰 컨텍스트 창을 지원한다. DeepSWE 등 코딩 및 지식 작업 벤치마크에서 뛰어난 성능을 기록했다.
대규모 언어모델 평가 플랫폼 아레나에 'gemini-3.8-flash'라는 의문의 모델이 등장해 차기작 제미나이 4 프로로 주목받고 있다. 복잡한 기계 나비 SVG 애니메이션을 10분 만에 생성했으며, 에이전트 코딩과 OS 제어 벤치마크에서 전 영역 1위를 기록했다.
앤트로픽이 금요일 공개한 클로드 코드 2.1.277 버전에 오픈AI의 AGENTS.md 표준 지원을 추가했다. 폴더에 CLAUDE.md가 없으면 자동으로 AGENTS.md를 불러오며, /config 명령어로 켜고 끌 수 있다. 여러 코딩 도구를 함께 쓰며 지침 파일을 이중으로 관리하던 개발자의 번거로움을 덜어줬다.
서로 다른 영역의 예측 모델을 통합하는 오픈소스 프레임워크 JEPA-Anything이 공개됐다. JEPA 기반에 직교 예측 분해 기법을 도입해 복잡한 상태를 독립된 요소로 쪼개 계산한 뒤 재결합한다. 분야별 전용 인터페이스만 갖추면 동일한 예측 코어를 공유할 수 있다. 현재 뼈대 코드와 합성 데이터 예제가 제공되며 사전 학습 가중치는 포함되지 않았다.
Anthropic이 Claude Code의 'Projects' 개편 베타 버전을 공개했다. 사용자가 목표를 제시하면 Claude가 업무를 기획·위임해 여러 병렬 스레드에서 브랜치 작업, 테스트, PR 생성을 동시에 수행하고 결과를 취합한다. 스레드 간 프로젝트 메모리도 공유된다. 현재 일부 Pro 및 Max 클라우드 세션 사용자에게 먼저 제공된다.
xAI는 에이전트형 코딩 도구 Grok Build에 지속 메모리 기능을 도입했다. 대화가 한 턴 끝날 때마다 백그라운드에서 프로젝트 규칙과 설계 결정을 마크다운 노트로 자동 기록한다. 다음 세션에서 관련 코드를 작업하기 전 이 노트를 먼저 읽어 적용하므로 같은 지시를 반복할 필요가 없다.
타입세이프 AI가 소프트웨어 자동화용 모델 ‘제브(Jev)’의 얼리 액세스를 시작했다. 문장을 한 글자씩 생성하지 않고 사전 정의된 선택지의 확률을 병렬로 계산해 70~500밀리초 만에 응답하며, 출력 비용은 무료다. 코드 내 조건 분기나 검증을 빠르고 저렴하게 대체할 수 있다.
CopilotKit이 자체 호스팅 가능한 개인용 AI 에이전트 'OpenMuse'를 오픈소스로 공개했다. 브라우저, 격리된 리눅스 터미널, 파일 시스템을 갖추고 지속적인 작업 처리를 지원하며 언제든 사용자가 직접 개입할 수 있다. 개인 데이터를 빅테크에 넘기지 않고 독립된 AI 비서를 운영하고 싶은 사용자에게 알맞은 대안이다.
클라인이 macOS와 윈도우용 '클라인 데스크톱'을 공개했다. 오픈웨이트 모델 활용에 초점을 맞춘 네이티브 앱으로, 클라인패스를 통한 무료 모델 활용과 자체 API 키 연동을 지원한다. MCP 서버 마켓플레이스와 에이전트 예약 실행 기능도 탑재됐다.
OpenAI가 Codex와 기업용 ChatGPT를 뒷받침하는 인프라를 개발자에게 개방하는 Agents API 공개 베타를 시작했다. 단 한 번의 API 호출로 장기 세션 컨텍스트 자동 압축, 병렬 서브에이전트 조율을 갖춘 프로덕션급 에이전트를 만들 수 있으며 추가 API 수수료는 없다.
딥시크가 552B 매개변수 MoE 모델 'DeepSeek-V4.1-Flash'를 API로 공식 출시했다. 새로운 인과적 인코더-디코더 설계를 적용해 입력 시 8B 매개변수만 활성화한다. KV 캐시 HBM을 전작의 4분의 1, SSD 스토리지를 8분의 1 수준으로 줄였으며 플래그십 모델인 V4-Pro보다 빠른 속도를 제공한다.
구글이 자연어 지시로 안드로이드 실기기와 에뮬레이터를 제어하는 'ARTEMIS'를 오픈소스화했다. MCP를 통해 Claude Code, Cursor 등 코딩 어시스턴트와 연결돼 버그 재현 및 로그 수집을 자동화하며, AndroidWorld 벤치마크에서 99% 이상의 성공률을 기록했다.
OpenAI는 연구 조직 내 코딩 에이전트 작업량이 인간 1인 근무일당 3.1 에이전트 근무일에 도달했다고 밝혔다. 연구원 중간값은 하루 600달러 이상의 추론 비용을 사용 중이며, 목표했던 '자동 연구 인턴' 구축을 달성했다고 전했다. 2028년 3월까지 완전 자동화된 AI 연구원 구축을 목표로 하지만, 안전 문제로 최신 모델의 강화학습 훈련을 일시 중단하는 등 한계도 명시했다.
앤트로픽은 AI 에이전트가 Lean 4로 작성한 페르마의 마지막 정리 기계 검증 증명 코드를 깃허브에 공개했다. 29,511개의 정리와 1,300만 줄 이상의 코드로 구성되었으며, 두 개의 독립 커널 검증을 무오류로 통과했다. 인공지능이 복잡한 고등수학 정형 검증을 대규모로 완수한 첫 이정표다.
구글이 제미나이 3.8 플래시와 보안 특화 모델 3.8 플래시 사이버를 공개했다. 입력 100만 토큰당 0.75달러 가격을 유지하면서도 다단계 추론과 코딩 능력을 대폭 끌어올렸다. 사이버 모델은 20개 언어에서 70% 이상의 취약점을 찾아내며, 신뢰받는 방어자를 위한 페어윈드 프로그램을 통해 제공된다.
메타가 에이전트 및 코딩 성능을 대폭 개선한 AI 모델 Muse Spark 1.3을 Muse Code와 Meta Model API에 출시했다. 지시문이 모호할 때 되물어보는 협업 기능을 갖췄으며, 코딩 시 도구 호출은 약 20%, 토큰 사용량은 25% 줄였다. 향후 오픈 가중치 모델도 공개할 예정이다.
알리바바가 플래그십 모델 Qwen3.8-Max의 최신 스냅샷 '0902' 버전을 공개했다. 100만 토큰 컨텍스트와 사고 모드를 유지하며, 사후 훈련을 통해 엔지니어링 수준의 자율 코딩 및 멀티 에이전트 협업 실행 능력을 크게 끌어올렸다.
오픈AI의 차세대 모델 '아스트라'가 동일 레이어를 반복 통과시켜 코딩과 수학 성능을 높이는 '순환 깊이' 기술을 적용한 것으로 전해졌다. 그러나 이 방식은 모델의 사고 사슬 추론 과정을 불투명하게 만들어 내부 동작 감시를 어렵게 한다는 지적이 나온다.