/
OpenDylan 2025.1版本发布：抛弃括号的Lisp语言获得重要更新
OpenDylan 2025.1版本带来多项实用改进，包括新的LSP插件lsp-dylan，提供语法高亮和代码补全功能。命令行项目管理工具从dylan重命名为deft以减少歧义。Dylan是一种独特的编程语言，起源于苹果Newton项目，旨在创建一个更传统语法的Lisp变体，避免大量括号的使用。该语言已存在三十多年，目前仍在积极维护和开发中。
中科院团队推出SimpleGVR：让AI视频从模糊走向高清的超级放大镜
中科院团队开发的SimpleGVR系统革新了AI视频增强技术，通过直接在潜在空间处理和创新的分阶段训练策略，能够将AI生成的低分辨率视频高效提升至高清画质。该系统不仅提升分辨率，还能修正AI视频特有的颜色混合等问题，在多项指标上超越现有顶级方法，为AI视频生成领域提供了实用的解决方案。
浙江大学重磅发布KnowRL：让AI大模型拥有"知识边界"意识，告别胡编乱造时代
浙江大学联合腾讯AI实验室提出KnowRL方法，通过在强化学习中集成事实性奖励机制，有效解决慢思维AI模型在推理过程中的幻觉问题。该方法在保持原有推理能力的同时，显著提升了模型的事实准确性，为构建更可靠的AI系统提供了新思路。
浙大联合蚂蚁集团揭秘：为什么开源AI在数据分析上总是败给商业模型？
浙大联合蚂蚁集团通过系统性研究发现，开源AI在数据分析上表现不佳的根本原因是缺乏战略规划能力。研究团队通过精心设计的数据合成方法，成功提升了开源模型的表现，14B模型甚至能媲美GPT-4，证明了高质量训练数据比海量数据更重要，为开源AI在数据分析领域的发展指明了新方向。
大语言模型在"混合语言"面前的尴尬：MBZUAI揭示AI理解多语言混用文本的真实水平
MBZUAI和巴黎综合理工学院研究团队系统评估了大语言模型对混合语言文本的理解能力，发现当英语中混入其他语言时模型性能下降，但其他语言中混入英语时性能反而提升，揭示了AI系统的语言偏见问题，并提出了通过专门训练改善的有效方案。
Amazon团队推出FiSCo：首个能揪出AI语言模型微妙偏见的"神探"系统
Amazon研究团队开发了FiSCo系统，首次实现对AI语言模型长篇回答中微妙偏见的精准检测。该系统通过分解语义声明和统计分析，能发现传统方法无法捕捉的隐性偏见，在准确率上比现有方法提升15%。实验显示主流AI模型普遍存在不同程度的群体偏见，为AI公平性评估提供了重要工具。
Adobe团队首次实现"时空魔法"：让AI从几张照片重建任意时刻的4D世界
Adobe研究团队开发的4D-LRM系统实现了从稀疏多视角图像重建动态4D场景的突破。该技术采用统一的时空表示学习方法，通过Transformer架构直接预测4D高斯基元，能在1.5秒内重建24帧动态序列。在多种相机配置下表现优异，为AR/VR、影视制作和机器人学等领域提供了新的技术可能。
英伟达新突破：让电脑自己设计芯片，75%工作量不再需要人工干预
英伟达等机构联合开发出Spec2RTL-Agent智能系统，能直接从复杂芯片设计文档自动生成硬件代码，减少75%人工干预。该系统采用多代理协作方式，包含理解规划、渐进编程和智能反思三大模块，成功验证了人工智能在硬件设计自动化领域的重大突破。
首个突破：首尔国大团队让AI学会"私人定制"看图说话术，多角色一次搞定不再出错
首尔国立大学团队突破性地提出了基于强化学习的多模态大语言模型个性化训练框架RePIC，仅用2000个样本就达到传统方法21万样本的效果，在多角色图像描述任务中准确率提升至71%（传统方法仅21.3%），首次实现了高效、准确的AI个性化看图说话能力，为个人专属AI助手的普及化应用奠定了重要技术基础。
Valeo公司推出DIP：让AI模型像人类一样"举一反三"学习图像理解
法国Valeo公司联合巴黎索邦大学开发出DIP技术，让AI模型能像人类一样通过少量样本快速学习图像理解。该技术采用创新的"元学习"训练方式，无需人工标注即可显著提升模型在复杂场景下的分割性能，训练时间仅需9小时，在多个数据集上表现优异，为自动驾驶、医疗影像等领域应用提供了新可能。
微软推出RealPlay：用AI把游戏世界变成现实世界的神奇技术
微软等机构联合推出的RealPlay系统首次实现了用游戏控制指令生成现实视频的突破。该系统仅使用赛车游戏数据训练，却能控制现实中的汽车、自行车和行人运动，控制成功率达90%。RealPlay支持交互式视频生成，用户可像玩游戏般逐步指导视频发展，生成质量接近真实拍摄，为AI视频生成和未来游戏引擎开发开辟了新方向。
中科院团队突破视频光影魔法：让任何视频在不同时间地点"重新拍摄"
中科院自动化所研究团队开发出TC-Light视频重新打光技术，能够在保持原有内容完全不变的情况下改变视频光照环境。该技术采用独创的"独特视频张量"和两阶段优化策略，可将阴天场景转换为阳光效果，或为普通视频添加科幻光影，同时保持完美的时间连贯性。技术在58个长视频测试中表现优异，为影视制作、AI训练等领域提供了高效解决方案。
SCB 10X团队重磅突破：金融界的AI助手终于学会了专业推理
SCB 10X团队开发了FinCoT方法，通过将金融专家推理流程嵌入AI提示中，显著提升了大语言模型在金融任务上的表现。该方法在CFA考试题目上将准确率从63.2%提升至80.5%，同时将输出长度减少8倍，为AI在专业金融领域的应用提供了新思路。
密歇根大学新发现：给大脑装"方向盘"，让AI按你的意思写代码
密歇根大学研究团队首次破解AI编程语言选择机制，开发出G-ACT智能控制系统。该技术能精确引导AI选择C++等高性能语言，解决科学计算中AI语言偏好不当问题。实验显示控制准确率提升15%，为构建可靠AI智能体奠定基础。这项发表于2025年6月的研究标志着从"训练AI"向"控制AI"的重要转变。
Hugging Face发布3D Arena：首个大规模3D模型评测平台，123,243次投票颠覆传统评估方式
Hugging Face推出3D Arena平台，通过123,243次用户投票建立首个大规模3D模型人类偏好评估体系。研究发现用户更偏爱视觉冲击力强的高斯溅射模型和带纹理模型，揭示了审美直觉与技术实用性间的差异，为AI开发提供重要参考。
智能网卡革命曾遭冷遇，AI技术或将重新点燃市场热情
智能网卡（SmartNIC）技术自2013年AWS首次应用以来，虽然获得了VMware、英特尔、AMD和英伟达等巨头支持，但市场表现平平。分析师指出，目前主要客户仍局限于服务提供商。然而，随着AI技术蓬勃发展，情况正在改变。英伟达、红帽等厂商在AI云架构中推荐使用DPU，认为其可优化推理工作负载并提升资源效率，AI革命有望真正推动智能网卡技术普及。
YouTube推出AI轮播功能，Premium用户专享智能视频推荐
YouTube为Premium会员推出AI生成的搜索轮播功能，可在购物和地点查询时显示相关视频序列。同时，此前仅限Premium用户的AI对话助手开始向美国普通用户开放，用户可通过"询问"按钮获得视频摘要和内容问答服务。该AI工具基于YouTube平台和网络信息运行，但准确性仍待观察。
Vertesia推出面向多步骤业务任务的自主智能体构建器
企业级生成式AI应用低代码平台开发商Vertesia推出全新自主代理构建器，为业务用户提供AI代理开发部署方案。该平台让业务用户能够建立可自主完成目标的AI代理，具备思考、规划和执行复杂业务流程的能力。平台提供企业级安全性、可观测性和控制能力，支持智能内容处理和配置化生成AI任务，可处理PDF、电子表格等非结构化内容，适用于金融、零售、医疗等多个行业应用场景。
Google Gemini AI现在可以帮你填充电子表格空白单元格
谷歌宣布其人工智能助手Gemini现已具备自动填充电子表格空白单元格的功能。这项新功能将帮助用户更高效地处理数据表格，通过智能分析现有数据模式，自动推断并填入缺失信息，大幅提升办公效率和数据处理准确性。
YouTube推出两款AI工具改变用户观看体验
YouTube宣布推出两项AI功能：AI驱动的搜索工具和对话式AI助手。新搜索工具采用轮播形式，可根据用户搜索推荐相关视频片段和描述，目前仅Premium会员可测试。对话式AI工具此前仅向美国Android端Premium用户开放，现将扩展至部分非付费用户，用户可通过视频底部的Ask图标询问视频相关问题并获得内容推荐，无需中断播放。该工具将在未来几天内上线。
京公网安备 11010802021500号
