October 28, 2026
OpenAI의 지수 시간 가설 반증 논문을 Anthropic이 Lean 4로 정형화(논문 저자 Claude 명기, 발견자는 내부 연구 모델); 같은 날 Python 운영위원회는 3.13에서 도입된 실험적 JIT의 메인라인 제외를 확정, Tailscale SSH는 권한 상승 취약점의 존재 인정
ETH지수 시간 가설3-SATk-CNF
#free-threading
1 개 글 · 모든 태그
📰 Digests