AI Tracker앱 받기

AI 뉴스,
개발자를 위해 정리했습니다.

모든 AI 제공업체의 출시, 가격 변경, 지원 종료를 요약했습니다. 앱의 뉴스 탭과 같은 피드입니다.

모델

Axiom, AI 에이전트가 유한 단순군 분류를 Lean으로 형식화했다고 밝혀

AI 수학 기업 Axiom은 X에서 유한 단순군 분류를 Lean으로 완전히 자동 형식화했다고 발표했다. Axiom은 이를 “대칭의 주기율표”라고 부른다. 원래 증명은 여러 세대에 걸쳐 100명이 넘는 수학자가 작성한 약 15,000페이지 분량이며, 컴퓨터로 검증된 수학 증명 가운데 역사상 가장 큰 규모라고 설명했다.모델

Ling, Ling-3.1-flash-1019 및 베이스 모델 오픈 웨이트 공개

Ling 팀은 Ling-3.1-flash-1019를 오픈 소스로 공개했으며, 가중치를 Hugging Face와 ModelScope에 올렸다고 밝혔습니다. 또한 추가 학습을 위한 오픈 기반 모델이라고 설명한 Ling-3.1-flash-base도 출시했습니다. 팀은 새 모델에 추론 및 실제 에이전트 워크플로를 위한 추가 사후 학습을 적용했다고 전했습니다.OpenRouter· 모델

OpenRouter 카탈로그에 Meta: Llama 3.1 70B Instruct의 만료일이 11월 3일로 표시

OpenRouter의 모델 카탈로그에 이제 "Meta: Llama 3.1 70B Instruct"(meta-llama/llama-3.1-70b-instruct)의 만료일이 2026년 11월 3일로 표시됩니다. 이 모델은 2024년 7월 23일부터 등록되어 있으며 컨텍스트 길이는 131,072토큰입니다. 이전에는 해당 항목에 만료일이 없었습니다. 이는 카탈로그에 기재된 정보일 뿐이며, 확인된 범위에서는 OpenRouter나 Meta가 이유를 밝히지 않았고 해당 날짜 이후 모델에 어떤 일이 생기는지도 항목에 나와 있지 않습니다.OpenCode Go· 코딩

OpenCode, OpenCode Desktop용 플러그인 추가

LukeParkerDev는 10월 27일 X에서 OpenCode Desktop용 플러그인을 발표하며 짧은 데모 영상과 GUI 플러그인 제작에 관한 OpenCode 문서 링크를 공유했습니다. 해당 게시물을 인용한 thdxr는 데스크톱 플러그인이 OpenCode의 TUI 플러그인과 같은 패턴을 확장하므로 하나의 패키지로 서버, TUI, 데스크톱 플러그인을 제공할 수 있다고 말했으며, 오른쪽 패널이 유용한 기능을 추가하기에 좋은 공간이라고 덧붙였습니다. OpenCode 계정도 해당 게시물을 리포스트했습니다.모델

인도 언어용 음성 모델 Maya-2, 공개 가중치로 출시

인도를 겨냥한 음성(음성 합성) 모델 Maya-2가 10월 27일 Hugging Face에서 maya-research/maya2-native라는 이름으로 공개 가중치와 함께 게시됐다. X에 올라온 발표에 따르면 이 모델은 인도의 28개 주와 8개 연방 직할지를 모두 아우르며 15억 명 이상을 대상으로 한다.OpenAI· 코딩

OpenAI와 Oracle, Oracle 앱을 ChatGPT에 제공하기 위해 파트너십 확대

OpenAI는 Oracle 애플리케이션과 데이터를 ChatGPT에 제공하고, OpenAI 모델로 새로운 Oracle 제품을 지원하기 위해 Oracle과의 파트너십을 확대한다고 밝혔습니다. OpenAI에 따르면 Oracle은 Oracle AI Workspace를 개발 중입니다. 이 도구를 사용하면 각 조직의 권한과 승인 범위 안에서 ChatGPT를 통해 Oracle 재무, 조달, 계획 애플리케이션의 정보를 찾고 승인된 업무 흐름을 완료할 수 있습니다.Anthropic· 모델

Anthropic가 제출한 논문은 내부 Claude 모델도 지수 시간 가설을 반증했다고 주장한다

hexagonmath.org에 올라온 프리프린트는 Anthropic가 2026년 10월 27일 제출한 것으로 기재되어 있으며, n개의 변수를 가진 3-SAT를 2^o(n) 시간에 푸는 결정론적 알고리즘을 제시한다. 이는 지수 시간 가설(ETH)을 반증하는 결과다. 논문은 이 알고리즘이 만족하는 할당의 수를 세는 더 어려운 문제인 #3-SAT도 풀며, 결과가 Lean 4로 형식화되었다고 설명한다.모델

Baidu open-sources Unlimited OCR 2, a document parser with near-constant decoding cost

Baidu announced Unlimited OCR 2 on X on October 26, with code on GitHub and weights on Hugging Face. The model is built to parse documents of virtually any length within a finite context window.GitHub Copilot· 코딩

GitHub Copilot CLI 1.0.104, Autopilot이 백그라운드 작업을 기다리고 Assisted Permissions를 제공

2026년 10월 27일자 GitHub Copilot CLI 1.0.104 릴리스 노트에 따르면:OpenRouter· 모델

OpenRouter 카탈로그에서 Z.ai: GLM 4.5V의 만료일인 12월 31일이 사라졌습니다

OpenRouter의 모델 카탈로그에서 더 이상 "Z.ai: GLM 4.5V" (z-ai/glm-4.5v)의 만료일을 표시하지 않습니다. 해당 항목에는 10월 24일부터 2026년 12월 31일이 기재되어 있었습니다. 2025년 8월 11일부터 등록된 이 모델은 65,536토큰 컨텍스트와 함께 카탈로그에 계속 남아 있습니다. 이는 카탈로그의 필드 변경이며, OpenRouter와 Z.ai 모두 날짜를 추가하거나 삭제한 이유를 밝히지 않았습니다.Anthropic· 인프라

Anthropic의 Logan Graham, Cathedral 침입 사건에 대한 Washington Post 보도 내용 바로잡아

Anthropic Frontier Red Team의 Logan Graham은 10월 26일 X에 Washington Post 기사와 이에 대한 반응을 바로잡는 글을 올렸습니다. 해당 기사에는 보안 스타트업의 AI 에이전트가 12시간도 안 돼 Anthropic 시스템에 침입했다고 적혀 있었습니다. 다음은 Anthropic의 공식 발표가 아닌 Graham의 설명입니다.Z.ai· 인프라· 토론 2개

Cloudflare says a GLM 5.3 setup mismatch on Workers AI exposed KV cache pages across requests

Cloudflare published a disclosure and remediation write-up on October 26 saying a configuration mismatch in GLM 5.3 (@cf/zai-org/glm-5.3) on Workers AI triggered a bug in SGLang, the inference engine, that exposed KV cache pages across requests. The disclosure was coordinated with a post from SGLang.GitHub Copilot· 코딩

GitHub Copilot의 보조 권한 기능, CLI·Copilot 앱·VS Code에서 정식 제공

GitHub는 보조 권한 기능이 GitHub Copilot CLI, GitHub Copilot 앱 및 Visual Studio Code에서 정식 제공된다고 밝혔습니다. Copilot이 명령 실행, 파일 시스템 경로 접근 또는 URL 열기를 요청하면 대규모 언어 모델이 요청을 평가합니다. 명백히 안전하다고 분류된 요청은 자동으로 진행되며, 그 외 요청은 사용자의 승인이 필요합니다.모델

Artificial Analysis, 코드로 만든 마케팅 동영상 벤치마크 Code2Video-AA 출시

Artificial Analysis가 HeyGen과 협력해 자체 구현한 HeyGen의 Code2Video Bench, Code2Video-AA를 공개했습니다. 모델은 제품 및 브랜드 마케팅 브리프 114개를 받고, 도구를 사용하지 않고 한 번의 응답으로 각각에 대한 HyperFrames HTML 구성을 작성해야 합니다. 구성은 네트워크에 연결하지 않은 상태에서 동영상으로 렌더링됩니다. 심사 모델(Gemini 4 Argon, high)이 참여도, 프롬프트 의도, 구성, 시간적 일관성, 완성도를 기준으로 동영상 쌍을 비교하고, 다섯 항목의 Elo 평점을 평균해 종합 점수를 산출합니다. 35,000건이 넘는 판정으로 모델 27개의 순위를 매겼습니다. 결과는 Artificial Analysis 자체 평가입니다.Cursor· 모델· 토론 1개

DeepSeek V4.1 Flash를 이제 Cursor에서 사용할 수 있습니다

Cursor는 10월 26일, 편집기에서 DeepSeek V4.1 Flash를 사용할 수 있다고 발표했습니다. Cursor Settings > Models에서 활성화할 수 있습니다. Cursor에 따르면 모든 추론 강도 설정이 작업당 $0.60~$0.98로 CursorBench 비용 프런티어에 있으며, 같은 비용으로 더 높은 점수를 기록한 모델은 없습니다. 이는 Cursor 자체 벤치마크에서 나온 Cursor의 수치입니다.Anthropic· 코딩· 토론 2개

Claude Code 2.1.311 changes ultrathink, loads model settings from a signed file on cloud providers, and fixes the 1M-context error

Claude Code v2.1.311, released October 26, 2026, per its release notes:OpenAI· 모델· 토론 7개

OpenAI, 자사 모델이 국소 평활화 추측을 증명하고 지수 시간 가설을 반박했으며 양–밀스 존재성을 증명했다고 밝혀

OpenAI는 자사 모델이 수학, 컴퓨터 과학, 물리학 분야에서 세 가지 성과를 냈다고 발표했습니다. 아래 내용은 모두 OpenAI의 자체 주장으로, 아직 어느 것도 독립적으로 검증되지 않았으며 OpenAI는 결과가 Lean으로 검증됐다고 밝혔습니다.코딩

Scale AI의 AgentEnv 평가를 이제 Vercel Sandbox에서 실행할 수 있습니다

Vercel에 따르면 이제 Vercel Sandbox에서 Scale AI Labs의 AgentEnv 평가를 실행할 수 있습니다. 에이전트에 작업을 맡기고, 샌드박스에서 실행한 뒤 성과를 확인할 수 있습니다. Vercel은 변경 로그 항목과 샌드박스 문서의 설정 가이드를 공개했습니다.코딩

이제 Vercel Sandbox 명령어에서 stdin을 지원합니다

Vercel에 따르면 Vercel Sandbox에서 실행되는 명령어가 이제 stdin으로 입력을 받을 수 있습니다. 이를 통해 샌드박스 안에서 실행 중인 CLI 도구와 agent-browser 같은 stdio MCP 서버에 입력을 전달할 수 있습니다. 자세한 내용은 Vercel의 변경 로그 항목에서 확인할 수 있습니다.GitHub Copilot· 모델

GPT-6.1 Terra, GitHub Copilot에서 정식 출시

GitHub는 OpenAI의 최신 모델인 GPT-6.1 Terra를 GitHub Copilot에서 정식 출시했다고 밝혔습니다. GitHub는 이 모델이 일상적인 에이전트형 코딩과 터미널 작업에 적합하며 GPT-6.1 Sol보다 비용이 낮다고 설명합니다. 또한 초기 테스트에서 GPT-5.6 Terra보다 터미널 및 C# 코딩 작업을 눈에 띄게 더 많이 해결했으며, 범위가 명확한 작업을 집중적이고 통합된 단계로 처리했다고 밝혔습니다.
이전 뉴스