微信扫一扫，关注公众号
科技行者
算力行者
见证连接与计算的「力量」
第二十五届中国国际软件博览会招商招展ing
为了更好打造“永不落幕”的世界智能大会，助推天津打造中国软件名城。组委会秘书处推荐“第二十五届中国国际软件博览会”。
中国国际软件博览会(以下简称“软博会”)是我国软件和信息技术服务领域内规模最大、持续时间最长、最具影响力的专业盛会，已成功举办了24届。
本届软博会由中国电子信息行业联合会、天津市工业和信息化局、天津市津南区人民政府共同主办将于11月10日至12日在国家会展中心（天津）举办。
目前，本届软博会已面向全国征集合作伙伴，相关招商招展工作已同步启动。
联系方式:
联系人：世界智能大会组委会秘书处 陈老师
联系电话：022-83608031
邮 箱：cq@wicongress.org
0赞好文章，需要你的鼓励
至顶头条
科技行者
码客人生
奇客Solidot
高飞的电子替身
奇客情报站
推荐文章
2025-05-07 10:33ReplaceMe：通过线性变换给大语言模型"瘦身"的突破性方法
现代大语言模型就像一栋拥有数百个房间的豪华大厦，每个房间（或称为"层"）都执行特定的功能，共同协作完成复杂的语言理解和生成任务。然而，这些模型的规模已经变得如此庞大，以至于只有拥有高端计算资源的机构才能负担得起它们的运行成本。这就像一辆耗油量极大的豪华跑车，普通人负担不起它的燃料费用。
2025-05-07 10:32FormalMATH：人工智能形式化数学推理的新标杆
想象一下，当你在解答一道复杂的数学题时，你不仅需要给出答案，还需要详细解释每一步推导的理由，不能有任何逻辑跳跃或假设——这就是形式化数学推理的严格要求。
2025-05-07 10:29Voila：开创真实自主交互与声音角色扮演新时代的声音-语言基础模型
想象一下日常生活中我们使用的语音助手，比如Siri或ChatGPT。它们通常是这样工作的：你问一个问题，它回答，然后安静地等待你的下一个指令。这就像是一个只会被动回应的服务员，永远等待你的呼唤。而Voila团队认为，真正高级的AI助手应该更像一个时刻准备着的好朋友或队友，能够自然地融入你的生活节奏中。
2025-05-07 10:27RM-R1：让AI评估变得更明智——将奖励模型转变为推理工具
想象一下，你正在参加一场料理比赛，有两位评委。第一位评委只给你一个分数，而第二位评委会详细解释你的菜品在口感、创意和技巧上的表现如何，然后才给出最终评价。显然，第二位评委的反馈对于你改进厨艺更有帮助。伊利诺伊大学研究团队正是秉持这一理念，开发了能像第二位评委那样工作的AI评估系统。
ReplaceMe：通过线性变换给大语言模型"瘦身"的突破性方法
FormalMATH：人工智能形式化数学推理的新标杆
Voila：开创真实自主交互与声音角色扮演新时代的声音-语言基础模型
RM-R1：让AI评估变得更明智——将奖励模型转变为推理工具
