拥有“现代世界七大奇迹”之首称号的北京大兴国际机场迎来正式通航，驭势科技携无人接驳车、无人巡逻车两款车型在正式通航日“落地”大兴机场。

近日，在SAP上海研究院举办的“不啻微芒 造炬成阳”2023 SAP合作伙伴创新大赛中，Acloudear司享网络凭其创新方案“智伴小A：基于SAP BTP Build的端到端流程解决方案”成功摘得“智慧企业赛道”白金奖，再度蝉联桂冠。

致力于将数据转化为行动和价值的Splunk公司宣布位居Gartner 2018年安全信息和事件管理魔力象限领导者，这是Splunk公司连续第六年位列此象限领导者。

卢森堡计算机事件响应中心开发的VLAI系统，基于RoBERTa模型，能够通过阅读漏洞描述自动判断危险等级。该系统在60万个真实漏洞数据上训练，准确率达82.8%，已集成到实际安全服务中。研究采用开源方式，为网络安全专家提供快速漏洞风险评估工具，有效解决了官方评分发布前的安全决策难题。

如何将中国文化作为一个根坐标，在AI的无限空间里对齐价值观和语境？这正是模因计划的使命。

根据IDC全球半年度人工智能系统支出指南预测，2019年全球人工智能（AI）系统支出将达到358亿美元，比2018年增加44.0％。随着各行业大力投资采用AI软件功能的项目，人工智能系统支出到2022年将翻一番达到792亿美元..

英国各界正面临一项长达十年的技术变革任务，以应对未来量子计算可能破坏现有加密体系的风险，企业和政府需全面排查和更新安全措施。

半导体巨头AMD发布了第一季度财报，尽管业绩符合华尔街的预期，但由于COVID-19疫情修改了指引而导致AMD股价在盘后交易中下跌了近3％。

想象一下，你正在参加一场料理比赛，有两位评委。第一位评委只给你一个分数，而第二位评委会详细解释你的菜品在口感、创意和技巧上的表现如何，然后才给出最终评价。显然，第二位评委的反馈对于你改进厨艺更有帮助。伊利诺伊大学研究团队正是秉持这一理念，开发了能像第二位评委那样工作的AI评估系统。

这篇研究探讨了大语言模型在自动推理任务中的不确定性问题。研究者提出，模型生成形式规范时的概率不确定性不是缺陷，而是宝贵的信号源。通过引入概率上下文无关文法框架分析SMT-LIB程序分布，他们发现不确定性信号具有任务相关性（如逻辑任务中的语法熵AUROC>0.93）。他们的轻量级信号融合方法能减少14-100%的错误，仅需最小弃权，将大语言模型驱动的形式化转变为可靠工程学科。研究揭示当模型正确理解逻辑关系时会产生稳定的语法模式，为判断何时信任模型提供了可靠指标。

高通研究院提出VOCABTRIM技术，通过分析AI实际词汇使用模式，将推测性解码中草稿模型的词汇表从12万个精简至2-3万个高频词汇，在保持生成质量的同时显著提升内存受限环境下的推理速度，为Llama-3模型带来16%的性能提升。

InfiniBand和以太网解决方案连接了Top500中的265个系统（占53%），在12个月内增长了38%（2017年11月至2018年11月）。

在企业自动化工具支出激增的背景下，IBM今天宣布已经签署协议收购巴西机器人过程自动化（RPA）软件开发商WDG Automation。

科技行业最大的八家企业正在联手发起UALink Promoter Group，今天让我们来详细介绍这项新的人工智能硬件计划。

4月9日，首届百度智能云2024GENERATE全球生态大会召开，百度智能云这一次用小支点，翘起合作伙伴，形成大世界的跃迁。

3月1日，特斯拉在得州奥斯汀工厂举行首次投资者日活动。

大多数市政与私营部门的基础设施管理者，目前还很少考虑到人工智能与机器学习等技术能够在改善道路、公共交通网络或者水务事业等物理系统发挥怎样的作用。

但是,CTV 上还有一个应用类别表现强劲,那就是游戏。从应用数量来看,游戏类应用在 Amazon Fire TV 和 Apple TV 端均占第二位

澳大利亚研究团队开发出首个专门识别古希腊陶器的AI系统VaseVL，通过创新的"诊断式强化学习"方法，在材质识别、工艺判断等任务上达到专家级水平。该系统基于超过3万张陶器图片训练，准确率最高达99.95%，为文化遗产保护和考古研究提供了强大的技术支持，开启了AI辅助文物分析的新时代。

数字孪生技术可用于模拟慢性病的进展以及可能的后续走向，从而帮助医生更好地做出诊疗决策。