「证明思路」共找到 638 篇相关文章
VGGT4D：无需训练，挖掘3D基础模型潜力，实现4D动态场景重建
香港科技大学（广州）与地平线研究团队提出 VGGT4D，无需训练，通过挖掘 Visual Geometry Transformer 注意力层运动线索，在动态物体分割等任务表现优异，为 4D 重建提供新思路。
全球强化学习+VLA范式，PI*0.6背后都有这家中国公司技术伏笔
机器之心介绍了Physical Intelligence成果π*0.6论文，指出VLA+online RL是有前景的研究方向。还分析VLA+RL重要性、应用难点，重点介绍星动纪元iRe-VLA突破困境的方案及其实验效果，揭示VLA在线强化学习前景。
突破类脑模型性能瓶颈：校正频率偏置实现性能与能效双突破｜NeurIPS 2025
香港科技大学（广州）等团队在NeurIPS 2025论文指出，脉冲神经网络（SNN）性能不佳根源是频率偏置，非二进制激活。团队提出Max - Former架构，校正频率偏置，实现性能与能效双突破，卷积架构也适用。
EMNLP2025 | 解耦视觉与推理，港大探索视觉语言模型"眼智分离"新范式
当前大视觉语言模型处理复杂推理任务时，常过分依赖语言知识，忽视图像关键信息。港大等团队提出ProReason框架，其蒸馏的ProReason - VL和ProReason - Q3模型性能提升显著，为LVLMs发展提供方向。
CC&LG实践｜基于 LangGraph 一步步实现 Claude-Code 核心设计
本文深入剖析Claude - Code核心设计与关键技术，结合LangGraph框架，从基础ReAct Agent构建简版Claude - Code，涵盖人工审查、SubAgent实现、任务管理、上下文压缩等多方面，还提及流式响应升级及相关对比。
1美元训出专属滤镜，AI把ASCII游戏画质拉满
软件工程师Jeff Schomay用AI将ASCII风格游戏‘雷霆蜥蜴’实时‘翻译’成全动态图形游戏。他借助fal.ai平台解决速度问题，经历多次尝试平衡速度与画质，还训练专属LoRA模型提升画质，但仍面临帧间一致性难题。
突破40年Dijkstra算法瓶颈，清华教授等颠覆教科书！斩获STOC最佳论文
清华大学教授段然提出最短路径新方法，击败经典Dijkstra算法，突破40年排序瓶颈。该算法不依赖排序，运行更快，摘得STOC最佳论文，团队正优化追求更快速度。
用户痛批GPT-5，哭诉「还我GPT-4o」，奥特曼妥协了
OpenAI发布GPT - 5，移除ChatGPT模型选择器，将其设为默认模型并自动分配子版本。这引发用户不满，有人做梗图、吐槽、发起签名信。奥特曼发话，允许ChatGPT Plus用户继续用GPT - 4o。
GUI定位还在玩「非黑即白」？浙大团队提出GUI-G²，显著提升GUI智能体定位性能
在人工智能领域，GUI 智能体成技术风口，但现有 GUI Grounding 方法有缺陷。浙大团队提出 GUI - G²，将 GUI 交互转变为连续空间建模，在三个主流 GUI 定位基准测试中表现亮眼，重新定义了 GUI 交互本质。
数学家跨界找到百年难题最优解，能给无线通信领域带来新思路
数学家Boaz Klartag跨界破解高维空间球体堆积难题，用被弃老方法找到最优解，使给定d维空间球体堆积数量扩至先前纪录的d倍，为无线通信领域带来新思路。