【AI大模型新闻】8月27日，OpenAI公布新模型Astra，能独立解决复杂数学与理论计算机科学问题，并生成机器可验证的Lean证明。同时，Astra被指出具有接近Critical级别的AI网络安全攻击能力，OpenAI已主动暂停部分前沿训练。AI安全与性能的赛跑已成为行业核心议题。