九月 AI 大事时间线：从 Astra 发布到 Fermat 证明
按日梳理 9 月 1 至 12 日的事件，包括 GPT-6 Astra 上线、多起 OpenAI 调查与安全事件、以及 AI 形式化证明费马大定理。
September has been insane. Can we just recap? - Sep 1: Fable 5.1 launch - Sep 1: Sixteen state attorneys general open a formal investigation into OpenAI - Sep 1: announcements of neuralese at OAI - Sep 2: Gemini 3.8 Flash Cyber launch - Sep 3: GPT 6 Astra launch - Sep 3: Sanders-Casar superintelligence ban bill - Sep 4: The OpenAI <> German wiki incident annouced - Sep 4: Claude agents produce the first machine-checked proof of Fermat's Last Theorem - Sep 6: Pachocki's "An Alien Mind" - Sep 6: OpenAI declares they've reached an automate research intern; OpenAI's "Research acceleration" report comes out - Sep 8: 70+ MPs and peers ask PM Burnham to ban superintelligence - Sep 8: researchers with significant AI assistance build a crazy WeChat worm that can take over phones - Sep 8: OpenAI claims to have solved a Millennium Prize problem - Sep 8: A one-person "garage" drug company announces a second AI-designed drug candidate - Sep 8: Meta ships "Muse" - Sep 8: Jacob Coxon resignation - Sep 9: Discovery that one attacker used Codex and a DeepSeek model to compromise 395 organizations - Sep 9: Hawley opens a formal investigation into OpenAI over Hugging Face - Sep 11: The OpenAI <> RubyGems incident announced - Sep 12: Dario, Sam, and Elon talk about pacing the frontier