「安全开发框架」共找到 3806 篇相关文章
从打分器到思考者：RM-R1用推理重塑模型价值判断
伊利诺伊大学香槟分校团队提出 RM - R1 框架，将奖励建模定义为推理任务。它引入推理奖励模型和链式评估准则机制，经两阶段训练，在多基准测试中表现超大规模模型，验证了推理能力对奖励模型的重要性。
30 年 FAANG 大神被 C++ Bug “虐”4年，竟被Claude Opus 4一招解决！
上周 Anthropic 发布 Claude Opus 4，称其为“全球最强编程模型”。本周，有 30 多年 C++ 开发经验的 ShelZuuz 用它解决了困扰 4 年的“白鲸 Bug”，此前用 GPT - 4.1 等模型均无果。不过他认为它像“初级开发者”。
亚马逊 CTO 要来中国了，说实话，这比泛滥的 AI 发布会值得关注
本文梳理亚马逊CTO Werner Vogels从业多年的技术思考路径：从供给侧造工具降低开发门槛，到转向关注使用者与真实需求，反思当前AI热潮下的行业焦虑，指出他本次2026年10月中国行，比泛滥的AI发布会更具关注价值。
近 300万人围观卡帕西亲测 Opus 5：两小时写完 5500 行代码， 却连自己写的游戏都玩不了
8月2日，Andrej Karpathy在X公布实验，让Claude Opus 5用Three.js将《指环王》第一章渲染成3D场景，约两小时写出5500行代码。Opus 5按传统游戏开发路线搭建场景，这改变了内容定制方式，但模型验证能力不足。
菲尔兹奖得主预警：AI可能杀死数学！
今年菲尔兹奖得主多伦多大学教授Jacob Tsimerman宣布加入OpenAI从事AI安全研究，因其认为2年内AI将在数学证明领域超越人类。陶哲轩、Timothy Gowers等也对此表示担忧。《莱顿宣言》发布，众多数学家签名抵制AI对数学的冲击。
谷歌开源“Agent Skill 超级工具箱”，云、库、引擎、AI全线打通，开发者狂喜
在大模型竞争白热化背景下，谷歌为解决开发者难题推出 Agent Skills。官方仓库含多项技能，涵盖谷歌云核心服务及架构支柱技能，还提供常见任务流程指南，兼容多平台，能省开发代码。此前还有 Addy Osmani 开源的技能库。
取消AI考核、零裁员！股价暴跌82%后，多邻国走出了一条反硅谷之路
多邻国曾是 AI 转型标杆，股价一度暴涨，但近一年暴跌 80%。创始人 Luis von Ahn 表示不裁员，曾将 AI 应用纳入考核又取消，分享员工用 AI 开发课程案例，还谈了 AI 局限、对行业影响及公司应对策略。
全国首部“数据流通交易合规”标准，现公开征集起草单位和专家！
2026年是数据要素价值释放年，数据资产交易却面临合规与安全难题。中国电子商会归口、智合标准中心组织编制《企业数据要素流通交易合规指南》团体标准，涵盖多核心模块，有三大亮点，现征集起草单位和专家。
5V5电竞版Prompt Battle来了，这是AIFUT大会最后的总结。
AIFUT大会结束，最后半天有圆桌、演讲与Prompt Battle电竞赛。余轶南谈具身智能和家庭机器人；5v5电竞赛红队夺冠；神思远等探讨影视行业；快刀青衣等交流AI创业；张泓等讨论AI投资；吕思彤分享开发经验。
喊话特朗普重视AI风险，Anthropic CEO万字长文写应对方案，这方案也是Claude辅助完成的
Anthropic联合创始人兼CEO Dario Amodei写万字长文《技术的青春期》，指出AI飞速迭代下人类面临的危险局面，可能带来国家级安全威胁。文中阐述AI五大系统性风险，并给出应对方案，强调人类制度和成熟度要跟上AI发展。