AI & Enterprise

Red Hat发布Red Hat AI 3.5，聚焦上线前安全验证、共享GPU多租户与可观测性

Red Hat发布企业AI平台Red Hat AI 3.5，重点强化上线前安全验证、共享GPU环境下的多租户管理和可观测性能力，并进一步完善智能体开发支持。新版本推出EvalHub，可对模型、RAG配置和智能体进行部署前校验，并生成可审计的合规报告和合规认证证书；同时新增20余款已验证模型，增强GPU调度和分布式推理支持。

AI & Enterprise

Cardano创始人Charles Hoskinson：AI数学证明能力进展超预期

Cardano（ADA）创始人Charles Hoskinson表示，AI在复杂数学证明生成及形式化验证方面的进展速度超出预期，并特别关注围绕纳维-斯托克斯方程的相关突破说法。与此同时，他提醒，研究人员若过度依赖集中式云端AI服务，研究数据和知识产权可能面临外泄风险，因此有必要建设私有AI环境。