2026-11-01 뉴스모음

AI 모델

• 미스트랄, '라지 4' 가중치 공개로 정식 출시

  AI타임스

  미스트랄 라지 4는 프랑스 미스트랄 AI의 대형 언어 모델로, 이번에 가중치(모델의 학습 결과값 파일)를 내려받을 수 있게 공개했습니다. 총 1.05T(약 1조 500억) 파라미터 가운데 질문마다 52B(약 520억)만 쓰는 구조이며, 수정된 MIT 기반 라이선스로 상업 활용이 가능하지만 모델 자체를 서비스로 파는 사업자는 별도 계약이 필요합니다. API 가격은 입력 100만 토큰당 0.70달러, 출력 2.10달러로 약 절반이 됐습니다. 자체 데이터센터 운영을 원하는 기업이 눈여겨볼 소식입니다.

• 구글, 제미나이 채팅에서 문서·PDF 직접 편집 기능 추가

  AI타임스

  구글이 제미나이 채팅 화면 안에서 파일을 열어 바로 고칠 수 있는 기능을 29일(현지시간) 발표했습니다. 지원 형식은 PDF, 구글 독스·시트·슬라이드, 마크다운, 텍스트, 코드 파일이고, 특정 문장을 골라 수정을 요청할 수도 있습니다. PDF는 웹과 모바일에서, 나머지는 웹에서만 됩니다. 챗봇이 문서 작업 도구를 흡수하는 흐름을 보여 줍니다.

• 구글, 인터넷 없이 작동하는 '제미나이 라이브' 개발 중

  AI타임스

  제미나이 라이브는 구글의 실시간 음성 대화 기능입니다. 안드로이드 어소리티가 안드로이드 앱 v17.71.17 코드를 분석해, 인터넷 연결 없이 쓰는 오프라인 모드 안내 문구와 설정 항목이 들어 있다고 보도했습니다. 기기에서 직접 도는 제미나이 나노가 쓰일 가능성이 거론되지만 구글의 공식 발표는 없어 출시는 확정되지 않았습니다. 지원 기기와 언어도 알려지지 않았습니다.

• 앤트로픽, 클로드 자기 대화 감시 기술 도입

  AI타임스

  앤트로픽은 클로드가 답변을 마친 직후 자기 대화를 스스로 평가하게 하는 방식을 실제 서비스에 넣었습니다. 별도 감시 모델 없이 평균 약 10토큰만 더 생성해 추가 비용이 전체 추론의 2% 미만입니다. 별도 분류 모델이 유해하다고 본 대화의 78% 를 찾았지만 사람 전문가가 확인한 탐지율은 아닙니다. 같은 실수를 반복할 수 있고 행동을 숨기는 AI를 잡기엔 부족하다는 한계도 밝혔습니다.

AI 인프라·하드웨어

• 중국 GPU, 엔비디아 H200과 성능 대등 주장

  AI타임스

  중국 일루바타르 코어엑스가 자체 GPU '톈가이 300'이 엔비디아 H200과 대등하고 일부 추론에서는 앞선다고 10월 28일 시연 행사에서 주장했습니다. 텍스트-이미지 시험에서 작업 완료율 100% 대 87.5%, 초당 0.101장 대 0.086장이었지만 작업 완료 시간은 0.64초 더 길었습니다. 상하이 연구기관 벤치마크에서는 GPU당 처리량이 1.05배였습니다. 특정 추론 환경의 결과이고 독립 검증은 더 필요합니다.

AI 산업·비용

• 앤트로픽, '20배 사용량' 혼선에 요금제 개편

  AI타임스

  앤트로픽이 30일(현지시간) 'Max 5x'를 맥스(월 100달러), 'Max 20x'를 울트라(월 200달러)로 바꾸고, 인증을 마친 울트라 이용자의 5시간 단위 사용 제한 을 없앴습니다. 주간 한도가 프로의 10배인데 이름이 20x여서 생긴 오해를 바로잡은 것이며 주간 한도 자체는 늘지 않았습니다. 웹과 클로드 코드 사용량은 같은 한도에 합산됩니다. 울트라 이용자는 짧은 시간에 몰아 써도 막히지 않게 됐습니다.

• 딥시크·문샷 AI, 'GPT-6 아스트라' 집중 증류 보도

  AI타임스

  증류는 성능 좋은 모델의 응답을 학습 데이터로 써 다른 모델을 키우는 기법입니다. 더 인포메이션은 관계자를 인용해 문샷 AI가 키미 K3.1 프로에, 딥시크가 V4.1 개선에 오픈AI의 아스트라 출력을 활용했다고 28일 보도했습니다. 앤트로픽이 방어를 강화해 클로드에서 얻기 어려워지자 대상을 옮겼다는 배경입니다. 문샷은 논평을 거부했고 딥시크는 응답하지 않았으며 규모는 공개되지 않았습니다.

보안·정책

• TCP Use-After-Free 취약점 CVE-2026-98432 (CVSS 9.8)

  Hacker News

  리눅스 커널의 IPv4 TCP 핸드셰이크에서 이미 해제한 메모리를 다시 쓰는 결함(use-after-free)이 공개됐습니다. 인증 없이 원격에서 가능하고 커널 4.4 이후 수정 전 버전이 대상이며, 앤트로픽은 클로드가 MPTCP 리스너가 있는 서버에서 root 명령을 실행하는 공격 코드를 만들었다고 밝혔습니다. 데비안·SUSE·아마존 리눅스는 수정판을 냈지만 우분투와 레드햇은 10월 31일 기준 없습니다. 실제 악용은 확인되지 않았습니다.

• '계산해 보니': ChatGPT 계정 장악 방법

  Hacker News

  보안 연구팀이 ChatGPT 웹 화면의 샌드박스를 우회해 공격자의 스크립트를 피해자 세션에서 실행시키는 방법을 공개했습니다. 수학 입력 라이브러리 MathLive가 postMessage의 발신자를 검증하지 않은 점이 출발점이며, 공격자가 만든 공개 공유 링크를 열면 비공개 대화 목록과 내용을 읽을 수 있었습니다. 오픈AI가 10월 26일 P1 등급으로 분류해 고쳤습니다.

• Molly(Signal 포크), 3개월간 업데이트 없어 취약

  Hacker News

  Molly는 안드로이드용 Signal 포크로 데이터베이스 암호화 같은 기능을 더한 앱입니다. 게시글은 마지막 릴리스가 7월 31일이라 통화를 끊은 뒤에도 소리가 계속 재생되는 취약점이 Signal 8.27에서는 고쳐졌으나 Molly에는 남아 있다고 지적합니다. 지연 원인은 밝히지 않았고, 업데이트가 재개될 때까지 공식 Signal을 쓰라고 권합니다.

소프트웨어 개발

• GCC의 switch 로워링

  Hacker News

  switch 문이 기계어로 바뀌는 과정(로워링)에서 GCC가 어떤 전략을 고르는지 분석한 글입니다. case 값의 밀도에 따라 점프 테이블, 비트셋 검사, 이진 비교 트리 중 하나를 고르며, 점프 테이블은 비교 횟수 대비 엔트리 수 비율(속도 최적화 8, 크기 최적화 2)로 판단합니다. 일부 단순한 최적화는 적용하지 않는 사례도 보입니다. 컴파일러 출력 읽기에 관심 있는 개발자가 참고할 만합니다.

• AI, Lean, 그리고 형식 검증의 미래

  Hacker News

  Lean은 프로그램의 성질을 명세하고 기계가 증명을 검증하는 언어이자 증명 도구입니다. 창시자 Leo de Moura는 AI가 코드를 만드는 시대에는 테스트만으로 버그가 없음을 보일 수 없다고 주장합니다. 기존 코드를 Lean 모델로 옮기는 자동 형식화가 가능해져 형식 검증이 실용적이 되고, 엔지니어의 일이 명세 정의로 옮겨 간다고 봅니다. '검증됨'이라는 말은 어떤 명세인지 함께 봐야 한다고도 강조합니다.

기타

• 독일 엔비전, 유기 분자 큐비트 칩 개발

  AI타임스

  엔비전은 유기 분자 하나를 양자 정보의 단위(큐비트)로 쓰는 기술을 Nature에 발표했습니다. 레이저로 초기화하고 마이크로파로 제어하며 빛으로 읽습니다. 양자 상태가 최대 2.2밀리초 유지됐고 실험은 약 4.5K 극저온에서 했습니다. 얇은 막으로 만들어 OLED 제조와 비슷하게 광 집적회로에 올릴 수 있다는 점이 강점이지만, 칩에 통합한 뒤에도 같은 성능이 나오는지는 검증이 필요합니다.

깊이 읽을거리

곁가지

• GPT-5.6 Sol이 평화 모드에서 Factorio를 클리어할 수 있다

  Hacker News

  GPT-5.6 Sol을 Codex(낮은 사고 수준)에서 돌려 적이 없는 평화 모드 Factorio를 게임 시간 13.5시간 만에 로켓 발사까지 마쳤습니다. 파이썬 라이브러리로 게임을 조작했고 사람과 같은 도달 거리 제약을 따랐으며, 이전 GPT-5.5는 운송 벨트도 쓰지 못했습니다. 후반부에는 일부 생산 시스템을 연결하지 못해 사람처럼 수동 운반으로 마무리했습니다.