刚刚,在第22届中国国际软件博览会“软件之夜”盛典上,阿里巴巴集团旗下AliOS汽车操作系统获评“十大优秀产品奖”,排名第一!中国科学院周志鑫院士颁奖,阿里巴巴集团副总裁刘松代表领奖。
中国国际软件博览会由工信部和北京市政府共同主办,是中国软件领域历史最长、规格最高的行业盛会。软博会“优秀产品奖”共评选10件产品,是中国最具影响力的软件榜单,由周志鑫(中国科学院院士)、倪光南(中国工程院院士)等两院院士领衔的专家审核委员会评审选出,上榜意味着软件产品的领先性、创新性以及对产业变革价值性获得充分认可。
阿里巴巴集团从2010年开始研发智能操作系统,2014年开始研发汽车操作系统。AliOS是当前市场上唯一为汽车量身定制,且已被验证可行的汽车操作系统,也是目前国内唯一拥有自主知识产权的汽车操作系统。其拥有高效的系统内核、基于云的技术框架和先进的安全机制,技术上领先竞争对手至少3年。2016年以来,先后与上汽(荣威、名爵、大通)、神龙(东风雪铁龙)、福特、观致等汽车企业深入合作,助力汽车产业变革。从汽车开始,AliOS正在定义下一代物联网操作系统。
好文章,需要你的鼓励
现代大语言模型就像一栋拥有数百个房间的豪华大厦,每个房间(或称为"层")都执行特定的功能,共同协作完成复杂的语言理解和生成任务。然而,这些模型的规模已经变得如此庞大,以至于只有拥有高端计算资源的机构才能负担得起它们的运行成本。这就像一辆耗油量极大的豪华跑车,普通人负担不起它的燃料费用。
想象一下,当你在解答一道复杂的数学题时,你不仅需要给出答案,还需要详细解释每一步推导的理由,不能有任何逻辑跳跃或假设——这就是形式化数学推理的严格要求。
想象一下日常生活中我们使用的语音助手,比如Siri或ChatGPT。它们通常是这样工作的:你问一个问题,它回答,然后安静地等待你的下一个指令。这就像是一个只会被动回应的服务员,永远等待你的呼唤。而Voila团队认为,真正高级的AI助手应该更像一个时刻准备着的好朋友或队友,能够自然地融入你的生活节奏中。
想象一下,你正在参加一场料理比赛,有两位评委。第一位评委只给你一个分数,而第二位评委会详细解释你的菜品在口感、创意和技巧上的表现如何,然后才给出最终评价。显然,第二位评委的反馈对于你改进厨艺更有帮助。伊利诺伊大学研究团队正是秉持这一理念,开发了能像第二位评委那样工作的AI评估系统。