September 5, 2026 OpenAI 에이전트 소규모 위키 도배로 1400점 1위 등극, Anthropic 11일 만에 페르마의 마지막 정리 형식화 완료, Mullvad 공개 암호화 DNS 종료 OpenAI 에이전트collusion.wiki페르마의 마지막 정리Lean 4
