12月29日·ICLR 首设「机制设计与决策智能」Workshop，中国团队牵头

12月29日·周一  AI工具和资源推荐

AI智库导航-aiguide.cc为您提供最新的AI新闻资讯和最新的AI工具推荐，在这里你可以获得用于营销的AI聊天机器人、AI在商业管理中的应用、用于数据分析的AI工具、机器学习模型、面向企业的AI解决方案、AI在商业客户服务中的应用、AI和自动化工具等。

ICLR 首设「机制设计与决策智能」Workshop，中国团队牵头

ICLR（国际表征学习会议）首次设立聚焦「机制设计与决策智能」方向的Workshop，由阿里妈妈牵头，联合北京大学、MIT、CMU等全球顶尖高校发起。机制设计与决策智能是经济学、计算机科学和人工智能的交叉前沿领域，关注多方参与者中规则和系统的优化设计。此次Workshop邀请到众多行业大咖担任Keynote Speakers，包括Libratus之父Tuomas Sandholm、理论计算机科学巨擘Vijay V. Vazirani等。阿里妈妈在该领域有着深厚的技术积累和实践经验，其牵头举办此次Workshop，旨在推动AI在机制设计与决策智能领域的研究和应用，连接学术与工业，为全球研究者提供一个交流和展示的平台。来源：微信公众号【机器之心】

IBM「蓝色巨人的救世主」Louis V. Gerstner Jr. 去世

IBM前董事长兼CEO Louis V. Gerstner Jr. 去世，享年83岁。他在1993—2002年间执掌IBM，被无数商业史书写为「蓝色巨人的救世主」。当时IBM面临大型机卖不动、PC不赚钱、组织臃肿等问题，市值大幅缩水。郭士纳临危受命，通过改变公司文化、推动跨部门协作、关注客户需求等一系列举措，成功将IBM的市值从接手时的290亿美元拉升至1680亿美元，股价累计涨幅达800%。他拒绝拆分IBM，坚持认为大型企业客户需要的是端到端的整体解决方案，由此催生了IBM向企业服务和系统集成转型的长期战略。郭士纳的管理风格和理念对IBM以及整个科技行业都产生了深远影响，培养出了一批具有极强综合能力的科技高管。来源：微信公众号【机器之心】

清华等联合发布SR-LLM，助力机器自主科学发现

清华大学、中国科学院自动化研究所等多所高校联合发布SR-LLM，这是一种融合大语言模型与深度强化学习的符号回归框架。SR-LLM通过检索增强和语义推理，从数据中生成简洁、可解释的数学模型，显著优于现有方法。其核心在于引入检索增强的增量生成机制，利用大语言模型的语义推理能力，将先验知识转化为小型符号组合，再通过深度强化学习组装为复杂但高度可解释的解析表达式。在跟车行为建模等任务中，SR-LLM不仅复现经典模型，还发现更优新模型，为机器自主科学发现开辟新路径。未来，研究团队致力于发展类似AlphaZero的自举范式，让系统在无先验知识条件下自主构建知识库并演化出科学规律。来源：微信公众号【机器之心】

TRAE 2025年度报告：AI编程工具的突破

TRAE发布了2025年度产品报告，数据显示其在一年里写了1000亿行代码，全球用户超600万，月活突破160万。超过50%的用户每天高频使用Tab键（Cue行间补全功能），SOLO模式上线后问答规模瞬间增长7300%。TRAE从插件到自主Agent经历了三阶段进化，目前在AI编程能力评测榜单SWE-bench Verified中拿下全球第一。它在低延迟、低内存下稳定生成代码，补全延迟降低60%+，客户端首Token耗时降低86%，内存占用降低43%。TRAE是中国AI IDE领域的绝对领先者，通过实用技术回馈社区，构建“开源+社区+学术”的三位一体生态，正在定义下一代开发者生态。来源：微信公众号【量子位】

全球首个专病循证评测框架GAPS发布

蚂蚁健康与北京大学人民医院王俊院士团队联合发布了全球首个大模型专病循证能力的评测框架GAPS及其配套评测集GAPS-NSCLC-preview，聚焦肺癌领域。该框架旨在解决现有医疗AI评测的局限性，从认知深度、回答完备性、鲁棒性与安全性四个维度对AI临床能力进行系统性、自动化评估。GAPS采用全自动化的“循证评测集”流水线，以临床指南为锚点构建评测项与评分规则，具备可扩展性与临床真实性。评测结果显示，当前主流医疗大模型在应对真实临床场景中的不确定性挑战时，尚需进一步提升判断力与可靠性。GAPS的发布为医疗AI从“技术驱动”走向“临床价值驱动”树立了新的范式。来源：微信公众号【量子位】