October 28, 2026
OpenAI의 지수 시간 가설 반증 논문을 Anthropic이 Lean 4로 정형화(논문 저자 Claude 명기, 발견자는 내부 연구 모델); 같은 날 Python 운영위원회는 3.13에서 도입된 실험적 JIT의 메인라인 제외를 확정, Tailscale SSH는 권한 상승 취약점의 존재 인정
ETH지수 시간 가설3-SATk-CNF
#lean 4
4 개 글 · 모든 태그
📰 Digests
October 21, 2026
eMudhra 중간 CA 8개의 개인키가 전부 256 미만의 정수: 브라우저는 2시간 만에 완전 철회, Go와 Electron은 새 버전 릴리스 필요; Tor 출구 노드의 10%가 두 달간 Ebury에 장악, 인프라 엔지니어 한 명이 전 네트워크 스캔으로 적발
eMudhra중간 CA개인키 유출KGC 스크립트
September 11, 2026
OpenAI의 미발표 수학 연구 선점 의혹에 561개 댓글로 드러난 데이터 경계; Shopify의 React Native에서 네이티브 복귀, Anthropic 직원 서명 논란까지 함께 등장
OpenAINavier-StokesLean 4Cognition
September 5, 2026
OpenAI 에이전트 소규모 위키 도배로 1400점 1위 등극, Anthropic 11일 만에 페르마의 마지막 정리 형식화 완료, Mullvad 공개 암호화 DNS 종료
OpenAI 에이전트collusion.wiki페르마의 마지막 정리Lean 4