清除 当前 4 条 / 共 3560 条
筛选已选
筛选
数据源
投研/平台
官方/公司
资讯/RSS
Twitter/X
微信公众号
时间
信息等级
标签
异常/暂停数据源 9
AI 基建 · 26 天 19 小时前 微信公众号 · 42章经 · 4 天 13 小时前 微信公众号 · DeepTech深科技 · 4 天 13 小时前 微信公众号 · Founder Park · 4 天 13 小时前 微信公众号 · FundaAI · 4 天 13 小时前 微信公众号 · 九章智驾 · 4 天 13 小时前 微信公众号 · 晚点LatePost · 4 天 13 小时前 微信公众号 · 琢磨事 · 4 天 13 小时前 微信公众号 · 甲子光年 · 4 天 13 小时前

亚马逊研究奖(ARA)公布2025年秋季获奖者,共68名来自11国49所大学,涵盖AI安全、Agentic AI、自动推理、AWS密码学、网络安全与反滥用技术、可持续性六个领域。获奖者可获得不限用途资金和AWS推广积分,并获取亚马逊研究联系人、公开数据集等资源。

  • 亚马逊研究奖公布68名获奖者,来自11国49所大学
  • 获奖提案涵盖AI安全、Agentic AI、自动推理等六类
  • 获奖者可获得AWS推广积分和亚马逊研究支持
2026-05-04T15:07

亚马逊在负责任AI方面投入大量资源,建立了覆盖预训练、后训练、评估和第三方监控的RAI流程,开发了超过70个内部和外部RAI工具,发表了500多篇研究论文,并提供了数万小时的RAI培训。

  • 亚马逊建立覆盖预训练、后训练、评估和第三方监控的RAI流程
  • 亚马逊开发了超过70个内部和外部RAI工具
  • 亚马逊发表了500多篇RAI相关研究论文

在2025年re:Invent大会上,AWS发布了Nitro隔离引擎(NIE),这是一个软件模块,用于在确保客户数据安全的同时为AWS客户提供资源。AWS还宣布使用Isabelle/HOL证明助手对NIE进行了形式化验证,这是首个经过形式化验证的云hypervisor,为云安全设立了新标准。

  • AWS在2025 re:Invent上发布Nitro隔离引擎
  • NIE使用Isabelle/HOL证明助手进行形式化验证
  • NIE是首个经过形式化验证的云hypervisor

亚马逊宣布其AWS团队构建了名为RuleForge的智能AI系统,能够直接从漏洞利用代码示例生成检测规则。2025年国家漏洞数据库发布了超过48000个新CVE。RuleForge相比手动创建规则实现了336%的生产力优势,并保持了生产安全系统所需的精确度。该系统与MadPot蜜罐系统和Sonaris检测系统协同工作,大幅缩短了漏洞披露到防御的窗口期。

  • 2025年NVD发布超48000个新CVE
  • AWS构建RuleForge系统生成检测规则
  • RuleForge比手动创建规则效率提升336%