October 28, 2026 OpenAI의 지수 시간 가설 반증 논문을 Anthropic이 Lean 4로 정형화(논문 저자 Claude 명기, 발견자는 내부 연구 모델); 같은 날 Python 운영위원회는 3.13에서 도입된 실험적 JIT의 메인라인 제외를 확정, Tailscale SSH는 권한 상승 취약점의 존재 인정 ETH지수 시간 가설3-SATk-CNF
October 8, 2026 OpenAI, 자체 자문 그룹의 만류에도 AI 수학 논문 722편 일괄 공개; Haiku 5.5는 90% 가격 인하로 GPT-6 Luna와 동률 OpenAI722편의 수학 원고LeanAGMAI
