华盛顿大学研究团队首创APRIL数据集:让AI学会从编译器错误中修复数学证明
华盛顿大学研究团队开发了APRIL数据集,包含26万个数学证明错误修复案例,首次系统性地训练AI学会从编译器错误反馈中修复Lean证明。研究通过四种策略生成现实错误,训练后的40亿参数模型修复准确率达27.4%,超越了更...
华盛顿大学研究团队开发了APRIL数据集,包含26万个数学证明错误修复案例,首次系统性地训练AI学会从编译器错误反馈中修复Lean证明。研究通过四种策略生成现实错误,训练后的40亿参数模型修复准确率达27.4%,超越了更...
阿里云用千问大模型和万相生成了一个全球化品牌片:以“马”为寓意,以坚实的实力、坚定的陪伴,伴随着广大中国出海企业奔赴全球,见证中国企业在全球市场的每一次进步,也成就了自身增长指数的第一。
道生天合拟在摩洛哥贝托亚工业加速区设立摩洛哥公司并建设生产基地,对外投资总额3000万美元,资金用途覆盖土地购买、设备采购等固定资产购置。把钱花在土地和设备上,等于把项目的重心放在产能落地与持续运营上,决策的时间成本也随...
北京人工智能研究院发布EgoActor系统,这是首个能让人形机器人同时处理移动、感知、操作和社交的统一智能系统。该技术通过分析大量第一人称视频数据,让机器人学会像人类一样理解语言指令并执行复杂任务。实验显示该系统在人机互...
复旦大学等机构联合开发的SoMA系统,实现机器人通过观察真实操作学会处理软体物品。该系统采用高斯点云技术建立虚拟练习环境,通过分层学习和力场建模,让机器人掌握布料、绳子等软体物品的操作技巧。实验显示其准确率比现有方法提高...
小米团队推出HySparse混合稀疏注意力架构,通过"师傅带徒弟"策略解决AI大模型处理长文本时的效率难题。该方法让完整注意力层充当精确选择器,稀疏注意力层直接继承其判断和缓存,在80B模型中仅用5个完整层就实现性能提升...
加州大学伯克利分校等机构联合发布的Quant VideoGen技术,通过创新的KV缓存量化方法解决了自回归视频生成模型的内存瓶颈。该技术利用视频的时空冗余性,采用语义感知平滑和渐进式残差量化,实现高达7倍的内存压缩比,同...
百度ERNIE团队发布了突破性的ERNIE 5.0多模态AI模型,这是全球首个万亿参数级别的统一自回归模型,能够同时理解和生成文字、图像、视频、音频内容。该模型采用创新的"从头统一训练"方法和"弹性训练"技术,通过超稀疏...
上海交通大学等机构联合开发daVinci-Agency训练方法,通过分析GitHub项目的Pull Request历史,让AI学会像程序员一样进行长期规划。仅用239个高质量样本训练,就在多项测试中超越了使用66000个...
这项由上海交通大学等多所高校联合开展的研究首次证明了代码图像化的革命性潜力。通过将代码转换为图像并利用AI的视觉理解能力,研究团队发现这种方法不仅能保持代码理解质量,还能实现高达8倍的计算资源压缩。在四项编程任务的全面测...
清华大学团队发现了一种名为SimpleNorm的AI训练新技术,通过在模型每个线性变换后添加归一化操作,显著提升了训练稳定性。该方法让AI模型可以使用3-10倍更大的学习率,在7B参数模型测试中训练损失降低0.082,额...
北京邮电大学联合多所高校的研究团队深入分析了当前大型语言模型智能体评估中的系统性问题,发现现有评估框架存在推理配置、提示策略、记忆机制、工具调用和环境设置等多方面的差异,导致评估结果无法真实反映智能体能力。研究提出建立统...
首尔大学团队提出LRAgent框架,解决多AI智能体系统中的内存和计算冗余问题。通过将缓存分解为共享基础部分和压缩个性化部分,实现2.5倍性能提升,内存使用降至1/3,准确率损失不超过1.5%。该方案为AI助手协同工作提...
英国谢菲尔德大学研究团队构建了首个大规模多步文化推理数据集ID-MoCQA,包含15590个印尼文化问题。研究发现即使是最先进的AI模型也存在系统性文化偏见,倾向于选择知名文化元素而忽略情境适配性。该研究揭示了当前AI文...
哈工大深圳校区研究团队提出LycheeDecode方法,通过将AI注意力头分为检索头和稀疏头,实现长文本处理的专业化分工。检索头负责全文分析筛选关键信息,稀疏头专注处理精选内容,避免重复计算。该方法引入HardKuma分...
NVIDIA等机构联合发布PRIVASIS数据集,这是首个百万级规模的完全合成隐私数据集,包含140万条记录和5500万个隐私属性。研究通过创新的合成方法突破了隐私研究的数据稀缺瓶颈,训练出的紧凑净化模型超越GPT-5等...
这项由多所顶尖学府联合开展的研究开发了FIRE-BENCH测试平台,通过让AI重新发现已证实的科学结论来评估其独立科学研究能力。测试结果显示,即使最先进的AI系统综合得分也仅有46.7分,且表现不稳定。AI系统在简单执行...