2026年9月5日 OpenAI agent 刷爆小 wiki 登顶 1400 分、Anthropic 11 天形式化费马大定理、Mullvad 关公共加密 DNS OpenAI agentcollusion.wikiFermat's Last TheoremLean 4
