微信扫一扫，关注公众号
科技行者
算力行者
见证连接与计算的「力量」
重量级“大咖”祝福世界智能大会 圆满成功
第四届世界智能大会将于6月23日至24日在津举办。本届大会采用“云上”办会的全新模式，着力突出新时代、新生活、新产业和国际化。来自全球各地的智能科技前沿理念、顶尖技术和高端产品将在这里分享和展示。
全球目光聚焦天津、聚焦智能科技产业，随着大会召开日益临近，组委会陆续收到了来自世界各地重量级大咖的祝福，祝福第四届世界智能大会取得丰硕成果、祝福天津市智能科技产业蓬勃发展。
我们将陆续为大家揭晓，究竟有哪些重量级“大咖”为大会送来祝福，通过云上模式交流合作、共赢共享。
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评估变得更明智——将奖励模型转变为推理工具
