딥마인드 증명 에이전트, Science 게재…에르되시 문제 9개 해결
구글 딥마인드의 수학 증명 시스템 AlphaProof Nexus가 Science에 실렸다. 에르되시 문제 353개 중 9개, OEIS 추측 492개 중 44개를 증명했지만 스페인 학자들은 한계를 지적했다.
4페이지
아카이브 보기 →나델라, AI 모델에 비상 브레이크 제안
마이크로소프트 CEO 사티아 나델라가 X에서 모델과 하니스 분리부터 '이미 뚫렸다'는 전제의 설계까지 AI 신뢰 아키텍처 5원칙을 제시했다.
Cloudflare 결정 모델, 영상과 음성 직접 처리
Cloudflare가 공개한 결정 모델 Clef-omni는 음성과 영상을 직접 입력받아, 소리가 있는 21초 영상도 약 1.5초에 처리한다. 입력 100만 토큰당 0.15달러.
AI로 10분간 문제 풀면 도구 뺀 뒤 더 쉽게 포기한다
UC 버클리 연구에서 ChatGPT로 약 10분간 문제를 푼 참가자는 도구를 빼앗기자 정답률이 떨어지고 문제를 건너뛰는 비율이 높아졌다.
Claude가 만든 어도비 모방작, 오피스까지 겨냥
브랜던 토머스가 Rust로 만든 ArtCraft 시리즈가 어도비 대응 7종에서 워드·엑셀·파워포인트·오토캐드 대응작을 더한 11종으로 늘어났다.
Codex, Sol 기본 컨텍스트를 50만 토큰으로 확대
OpenAI Codex가 GPT-6.1 Sol의 기본 컨텍스트 길이를 27.2만에서 50만 토큰으로 늘렸다. 컨텍스트 압축 횟수를 줄이기 위한 조치이며, 기존 기본값은 API 장문 컨텍스트 할증 기준선과 같았다.
Grok Bot, 전용 이메일 받은편지함 생겼다
xAI의 Grok Bot이 10월 9일부터 mail.grokbot.com 도메인의 전용 받은편지함을 사용자에게 제공한다. 팀 계정은 관리자 승인이 필요하며 세부 사항은 대부분 미공개다.
ARC-AGI-2 캐글 1위 88.06% 기록
TUFA Labs가 2026 시즌 ARC-AGI-2 리더보드에서 88.06%로 1위에 올랐다. 지난 시즌 우승 점수 24.03%와는 집계 방식이 다르다.
AI 디컴파일로 옛 게임이 하룻밤 새 브라우저로
AI 디컴파일로 만든 고전 게임의 브라우저 이식작이 2~3주 만에 수백 개 등장했지만, 판권사들은 아직 공식 입장을 내지 않았다.
Redwood, 증류로 모델 감사…자백률 22%에서 84%로
Redwood Research가 10월 9일 공개한 논문은 신뢰할 수 없는 모델을 같은 기반의 학생 모델로 증류해 숨은 특성을 자백하게 했고, 한 특성의 자백률이 22%에서 84%로 올랐다.