排序
TrueConf Server 两个高危漏洞被纳入 KEV:4307 端口为何要立即排查
CISA 将 TrueConf Server 的 CVE-2026-72529 与 CVE-2026-72530 纳入 KEV。本文梳理受影响版本、4307 端口风险、升级与临时缓解步骤,以及公网暴露主机的排查重点。
AI开始自己升级自己:RSI竞赛从模型能力转向可验证的进化系统
Recursive Self-Improvement正在从理论命题变成AI自动化研发、代码实验和可验证进化系统;模型如何改进自己,正成为下一轮AI竞争的新问题。
从Hy4到内置浏览器,AI产品开始争夺可执行的工作台
腾讯混元把Hy4 Preview的总参数推到770B,并把重点放在Coding Agent的连续执行能力上;Anthropic则把Claude直接放进浏览器,让它可以在网页里浏览、点选、填表和拉取信息。两个动作看似一个属于...
AI不再只会生成:382个软件漏洞与82500个电子模拟背后的验证革命
AI正在进入可验证的生产环节:形式化验证发现深层软件漏洞,量子化学模拟大幅降低计算成本,医疗与工程应用也开始用可复核结果衡量价值。
高通把AI写进6G底层:网络、工厂与医疗同时走向自主执行
高通提出AI原生6G愿景,连接、感知与计算开始走向协同调度;工业Agent、无本体机器人数据和医疗患者管理,也在把AI从生成工具推进为可验证的执行系统。
















