arXiv NLP·4 小时前★ 3
Safin-1.5：面向递归安全改进的安全原生架构
原文标题：Safin-1.5: Safety-Native Architecture and Verifiable Reasoning for Recursive Safety Improvement
重要度 3/5 · AI 综合评估报道影响力与新鲜度，4–5 分为高价值资讯。
AI 智能摘要
论文提出 Safin-1.5，基于安全架构并以递归安全改进训练，配合推理期形式化推理框架。方法包含持久安全状态与危险知识解耦、发现-评估-修复循环，以及证明义务引导的语义桥接，使符号求解器可构造可检验证明。实验称其在安全与推理性能上超过前沿模型。
所属主题AI安全27
阅读原文 +0
AI 处理过程展开/收起
原始标题：Safin-1.5: Safety-Native Architecture and Verifiable Reasoning for Recursive Safety Improvement
AI 中文标题：Safin-1.5：面向递归安全改进的安全原生架构
来源：arXiv NLP · 发布于 4 小时前
分类：大模型 · AI 重要度：★ 3（3）
标签：AI安全 / 形式化推理 / 模型架构 / 递归自我改进
关键词：Safin-1.5 / AI 安全 / 递归自我改进 / 形式化推理 / 安全对齐
AI 处理：2026/11/2 15:02:05 · 模型 deepseek-chat · 规则版本 2026-10-21.1
相关推荐
量子位·4 天前★ 5
谷歌 Gemini 4 Carbon 全面超越 Opus 5.5，首发 Token 半价
AI 摘要谷歌发布 Gemini 4 Carbon，宣称在多项能力上全面超越 Opus 5.5，并推出首发 Token 半价优惠。该模型可连续数日修复 Bug，且具备免疫提示词注入的安全特性，加剧头部大模型竞争。
#大模型
The Verge AI·4 天前★ 5
谷歌发布 Gemini 4 Carbon，主打网络安全能力跃升
AI 摘要谷歌推出前沿模型 Gemini 4 Carbon，在编程、智能体任务和网络安全方面显著提升，登顶 Artificial Analysis 智能指数，领先 Claude Opus 5.5 与 GPT-6 Astra。该模型目前仅向部分网络安全防御公司开放，定价与 Argon 相同，为每百万输入 token 2 美元、输出 10 美元。
#大模型
量子位·17 天前★ 5
谷歌发布 Gemini 4，API 限时半价
AI 摘要谷歌正式发布 Gemini 4，被视为重回大模型第一梯队的关键动作，同时推出 API 限时半价优惠。该发布对模型竞争格局与开发者成本结构均有直接影响。
#大模型
The Verge AI·18 天前★ 5
谷歌 Meta 发布前沿模型，AI 竞赛重启
AI 摘要谷歌发布 Gemini 4 Argon，Meta 推出新前沿模型，两家公司声称可与 OpenAI 和 Anthropic 的旗舰模型匹敌。谷歌以激进定价策略切入市场，入门期价格比竞争对手低至80%。AI 前沿竞争格局重新洗牌。
#大模型