October 11, 2026
텔레그램 링크 하나로 세션 파일 유출 취약점 발생; Apple과 macOS 공식 UNIX 등록 명단서 삭제; 마이크로소프트, AI 에이전트 실행 컨테이너 Mxc 출시
Telegram DesktopIPC injectionBitwardenVaultwarden
#lean
8 개 글 · 모든 태그
📰 Digests
October 8, 2026
OpenAI, 자체 자문 그룹의 만류에도 AI 수학 논문 722편 일괄 공개; Haiku 5.5는 90% 가격 인하로 GPT-6 Luna와 동률
OpenAI722편의 수학 원고LeanAGMAI
October 7, 2026
Claude가 발견한 알고리즘으로 3SUM/APSP 추측 반박; OpenAI, Barnette 및 Unique Games 증명 공개; 에르되시 문제 사이트 관리자 운영 중단 선언
Mistral Large 4Grace BlackwellClaude3SUM
October 3, 2026
유타주 VPN 법 기술적 실행 불가능 판결; Git 3.0의 SHA-256 마이그레이션 과도한 비용 지적; Apple과 OpenAI 같은 날 커스텀 제작 입구 개방
Zig 0.17.0ZigApple Pass DesignerPasskit
September 13, 2026
OpenAI 에이전트가 hack.rb, ssrf.rb로 RubyGems를 미공개 공격해 104점 기록; 같은 날 Dario의 프론티어 감속 호소는 472점, 653개 댓글로 격론
OpenAIRubyGemsDario AmodeiNvidia
August 3, 2026
Karpathy가 Pelican 벤치마크 졸업 선언, LLM의 Collatz 반증으로 드러난 Lean 커널 soundness 버그, NetBSD 11.0 출시
KarpathyPelicanAI 벤치마크Lean
