AI & Enterprise

Microsoft：AI时代仅靠补丁响应已不够，安全重心应前移至开发阶段

Microsoft认为，随着AI加速普及，网络攻击门槛持续下降，依赖安全边界和事后修补的传统防护模式已难适应新形势。Microsoft AI安全业务副总裁David Weston在Black Hat USA大会上表示，单纯加快补丁发布仍属于被动应对，行业应把安全重心前移至软件开发阶段，并通过Rust等内存安全语言及形式化验证强化软件安全。

AI & Enterprise

OpenAI内部模型Astra解出10个多年未决难题并公开可机器验证的形式化证明

OpenAI表示，旗下尚未公开的内部模型Astra已在数学、量子复杂性和理论计算机科学领域，针对10个悬而未决至少10年的问题给出新结果，并同步公开可机器验证的形式化证明。公司已在GitHub以Apache 2.0许可证开源249页论文草稿、模型推理过程及基于Lean 4的证明证书。不过，这些结果仍需学界进一步核验其是否准确对应原本的未决问题，以及其学术价值和影响。