certification

本文介绍Disjoint-Bridge Operator-Substitution Certificate (DBOSC)，以认证模态编译器在物理语言表示中的可互换性，并评估受控弹塑性系统中的有序执行，分离了属性访问、响应替换、融合闭包和有序执行的不同能力。

这篇立场论文认为，具备思维链能力的AI推理代理在经济市场中易发生默契合谋，有必要实施行为认证以防止经济损害，实验以DeepSeek-R1为例进行了展示。

PyTorch 宣布推出其认证助理（PTCA）项目，这一认证旨在帮助早期从业者验证其在模型设计、训练和部署方面的动手 AI 工程技能。

本文引入了一种跨模型映射，用于认证必须在协变量偏移下同时满足自动化下限和风险上限的选择性预测器，推导了可行性边界和双资源样本复杂度权衡。

CertBind 提出了一种多尺度理论，用于冻结多模态编码器连接器的可认证组合，通过回退（fallback）和弃权（abstain）机制实现可认证的检索决策。在共享路径上的评估表明，它能够恢复原生 CLIP 检索性能，同时在旁路分支上保持无损（no-harm）。

An analysis piece arguing that FIPS 140-3 certification is narrowly scoped and not a guarantee of overall security, using examples like ROCA and the common practice of running FIPS-enabled HSMs with FIPS mode disabled.

This paper introduces CAGE, a certification method that verifies whether tool-using LLM agents remain authorized under typed-return uncertainty, including binding faults and numerical drift. It proves that separate channel certification is insufficient and provides exact and learned-gate variants for practical authorization.

LangChain Academy 推出首个面向完整智能体开发生命周期的认证，前两个月提供 50% 折扣。

OffSec 推出 OSAI 认证和 AI-300 课程，用于高级 AI 红队演练，教授针对 LLM、多智能体系统和 AI 基础设施的攻击技术。

苹果公司发布了其私有云计算（PCC）配置系统的系统与组织控制（SOC）3 审计报告，这些报告独立审查了多个季度期间内系统在安全性、处理完整性和机密性方面的控制措施。

法国ANSSI将从2027年起停止认证不含抗量子加密的安全产品，并要求到2030年实现量子安全采购。这一监管变化影响政府和关键基础设施市场，其背后是对“先收获，后解密”攻击的担忧。

亚马逊和UL与多家中国电动自行车公司就虚假声称拥有UL安全认证达成诉讼和解，这凸显了伪造安全标志的普遍问题以及锂离子电池火灾的风险。

本文提出了一个严格的理论框架，用于多层感知机的对抗鲁棒性，通过将问题简化为格遍历，引入了具有形式化保证的可靠且完备的区间认证。

一条推文分享了AWS、CISSP、CISA、CISM和数字营销的免费认证资源链接。

介绍了一份开源的 Claude Certified Architect 认证学习指南，涵盖工具调用、MCP 集成、结构化输出等模块，并提供多语言版本和实战练习。

NASA监察长报告称，波音Starliner载人飞船的认证可能推迟至2027年，比原计划落后十年，原因是包括氦气泄漏和推进器过热在内的未解决技术问题。

本文介绍了TrajRS，它是Randomized Smoothing的一个扩展，为行人轨迹预测器提供认证的鲁棒半径，从而针对对抗扰动提供可验证的安全保证。

本文介绍了一种失效关闭认证协议，用于确定在给定的固定决策接口和部署效用下，何时可以将预测排行榜的优胜者可靠地用作可部署的顶级建议。它提出了一种锁定原生审计，通过阻止明显的预测/部署优胜者反转来防止过度声明。

本文研究了在学习到的潜在世界模型中如何认证守恒定律，提出了有界时域，通过可测量的模型缺陷可提前保证轨迹在物理不变水平集上保持多少步。

Autodesk承诺在三年内投入3.5亿美元，扩大免费技术访问，培训100万人，并帮助20万人获得行业认可的认证，为物理世界的AI工作岗位做好准备。