#1447 emoji

October 28, 2026

OpenAI의 지수 시간 가설 반증 논문을 Anthropic이 Lean 4로 정형화(논문 저자 Claude 명기, 발견자는 내부 연구 모델); 같은 날 Python 운영위원회는 3.13에서 도입된 실험적 JIT의 메인라인 제외를 확정, Tailscale SSH는 권한 상승 취약점의 존재 인정