October 28, 2026 OpenAI의 지수 시간 가설 반증 논문을 Anthropic이 Lean 4로 정형화(논문 저자 Claude 명기, 발견자는 내부 연구 모델); 같은 날 Python 운영위원회는 3.13에서 도입된 실험적 JIT의 메인라인 제외를 확정, Tailscale SSH는 권한 상승 취약점의 존재 인정 ETH지수 시간 가설3-SATk-CNF
October 7, 2026 Claude가 발견한 알고리즘으로 3SUM/APSP 추측 반박; OpenAI, Barnette 및 Unique Games 증명 공개; 에르되시 문제 사이트 관리자 운영 중단 선언 Mistral Large 4Grace BlackwellClaude3SUM
