「通用验证器」共找到 1693 篇相关文章
开源“裸考”真实世界，国产具身智能基座模型拿下全球第二！
国产具身智能基座模型WALL - OSS在RoboChallenge真机评测榜单获全球第二，多个单任务排第一。它是开源模型，开源程度彻底。还介绍其技术突破及团队情况，强调开源对具身智能发展意义重大。
中国设计智造大奖作品展来了！从具身智能到智慧空间，打开未来生活想象
第十届中国设计智造大展在国美良渚校区开启，展示200余件获奖作品。展览设5大主题、打造新场景，验证新技术产业化应用，还展示增强外骨骼等案例，助力未来产业集群培育。
多模态推理新范式：上海AI Lab新作证明“画”出答案比“说”出答案更靠谱
上海人工智能实验室等联合提出DiffThinker模型，利用扩散模型构建全新视觉推理范式。它在视觉中心任务上表现优异，准确率碾压GPT - 5等模型，还能与MLLM协同推理实现1 + 1 > 2的效果。
76.5k+ star，逆天终端神器！
文章介绍开源工具 `fzf`，它是用 Go 语言编写的命令行模糊查找器，可在多系统使用。有交互式模糊过滤等特性，支持多平台安装，还能与 Shell、编辑器集成，提升命令行体验。
语义分割别无脑用Argmax！港中文新算法：三行代码，推理速度提升10倍
香港中文大学提出全新算法框架RankSEG提升语义分割性能。传统方法用threshold或argmax生成掩码并非最优，RankSEG无需重训模型，加三行代码就能提高分割指标，还开源了工具包，其改进版RankSEG - RMA推理速度大幅提升。
不装了！LeCun哈萨比斯神仙吵架，马斯克也站队了
图灵奖得主Yann LeCun与诺贝尔奖得主、谷歌DeepMind CEO哈萨比斯就“智能的本质”展开激辩，马斯克站队哈萨比斯。二人观点分歧大，后LeCun称主要是用词分歧，双方都关注世界模型，但理解和实践有别。
382人、平均95后，MiniMax百亿估值冲刺IPO！招股书首次披露业绩：研发成本仅为OpenAI的1%、收入猛增8倍
12月21日，通用人工智能公司MiniMax通过港交所上市聆讯。其员工年轻，研发成本仅为OpenAI的1%，收入猛增，产品覆盖多模态。此次聆讯或倒逼行业转向“经营叙事”，加速行业分化。
JCP | 浙江大学边鑫等：基于 PINNs 的非结构自适应网格细化：面向稳态流动的残差驱动 AMR 新方法
本文提出利用控制方程残差引导网格细化的启发式策略，用物理信息神经网络（PINNs）整合粗网格数据与控制方程。通过解决流动问题并与传统方法对比，显示该策略能平衡计算精度与成本，但有额外计算开销。
Yann LeCun离开Meta后首篇论文？使用了宇树机器人做研究
伯克利、纽约大学等团队发表论文，提出GenMimic方法，让机器人能零样本复现AI生成视频动作。Yann LeCun是共同导师之一。团队构建GenMimicBench数据集，经仿真和真实实验验证方法可行。
小鹏IRON“脱皮证非人”、字节豪掷800多亿，人形机器人竞争太激烈啦！
国内人形机器人赛道白热化，小鹏 IRON 步态逼真引争议，字节跳动高薪招聘并拟投巨资开发 AI 芯片。多家企业推出新机器人，大厂纷纷入局。未来，行业发展看法不一。