AI 安全
-
Lean4:定理证明器的工作原理及其成为 AI 领域新竞争优势的原因
大语言模型(LLMs)凭借其强大的能力震惊了世界,但它们仍受困于不可预测性和幻觉问题 —— 自信地输出错误信息。在金融、医疗或自动驾驶等高危领域,这种不可靠性是无法被接受的。而 L…
-
多智能体对齐:AI 安全领域的新前沿,重塑互联系统风险治理逻辑
AI 对齐领域长期聚焦于让单个 AI 模型贴合人类价值观与意图,但随着多智能体系统的兴起,这一重心正发生根本性转变。如今,AI 生态不再是单一模型独立运作,而是由多个专业智能体构成…
-
从告警疲劳到可执行情报:AI 如何重塑安全运营中心(SOC)
2025 年 10 月 9 日,Unite.AI 发布的《From Alert Fatigue to Actionable Intelligence: How AI Is Resh…
-
OpenAI 计划从非营利组织转型为营利组织,并向 Altman 提供股权
路透社报道称,OpenAI 正在制定一项计划,将其核心业务重组为一家营利性福利公司,摆脱非营利董事会的控制。这一转变标志着ChatGPT背后的人工智能公司发生了巨大变化,可能会使其…