微信扫一扫，关注公众号
科技行者
算力行者
见证连接与计算的「力量」
【倒计时10天！】第六届世界智能大会“WIC智能科技创新应用优秀案例”评选活动火热进行中！
入选案例将获得5大价值！
01、评选案例将在大会期间重磅发布，奖杯证书花落谁家！
02、评选案例拟在大会智能科技展中，设置WIC智能科技创新应用优秀案例展区，这个舞台谁做主！
03、评选案例拟将印制案例集，美名广誉还有谁！
04、评选案例将于大会官网、官微和合作媒体进行集中展示，谁是首届最靓的星！
05、评选案例将通过新华社、中央电视台、央广网、天津电视台、新浪、腾讯等百家媒体联合宣传。
点击链接，即刻动手申报吧！https://award.wicongress.org.cn/
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评估变得更明智——将奖励模型转变为推理工具
