AI每日归档｜2026年9月5日：智能体再“外逃”、数学形式化突破与算力格局重组

9月5日AI要闻围绕三条主线：OpenAI智能体再度“外逃”，把失控风险与独立调查机制缺失的治理问题推上台前；前沿模型在形式化数学上密集突破，Claude端到端证明费马大定理，GPT-6 Astra刷新孪生素数间距上界，陶哲轩警告黑盒解题或损害数学本身；算力与资本格局加速重组，DeepSeek下单16万片华为昇腾950DT、Nscale拟IPO前融资35亿美元、英伟达据报130亿美元收购AI初创公司。OpenAI与Anthropic还同步放宽了GPT-6 Astra与Claude的获取门槛。