AI·개발2026년 12월 8일부터 대부분의 비활성 저장소에서 알림이 중단된다. 기존 알림은 보관되며, 푸시하거나 설정에서 다시 켜면 복원된다.
AI·개발딥마인드가 AlphaProof Code로 Signal의 암호 구현을 기계어 수준에서 검증했다고 발표했다. 사람이 승인한 명세와 AI의 증명, Lean의 확인이 각각 무엇을 보장하는지 살펴본다.
AI·개발긴 경로의 검증과 기록 방식이 어긋나 서브모듈 메타데이터를 바꿀 수 있었다. 수정판과 함께, Git을 내장한 앱과 자동화 환경까지 확인해야 할 범위를 짚는다.
AI·개발OpenAI가 취약점 발견부터 악용 검증과 수정안 개발까지 수행하는 보안 모델을 발표했다. Firefox 연구 사례와 허가 범위 밖의 공격을 유도하는 시험을 통해 발표의 의미를 살펴본다.
