「PDDL规划器」共找到 576 篇相关文章
DeepSeek-R2尚未问世，微软小模型捡漏称王？6000样本炼出「数学作弊器」！
微软推出Phi-4推理模型系列，参数最多14B，能在本地高性能笔记本电脑上流畅运行。Phi-4-mini-reasoning在数学推理上性能超越DeepSeek-R1蒸馏模型，且参数规模更小。文章还介绍了模型特点、训练方法、性能表现及局限性等。
扩展外部测试时Scaling Law，中关村学院新发现：轻量级验证器可解锁LLM推理最优选择
文章聚焦大语言模型‘测试时扩展’，指出内部方法接近瓶颈，外部方法的传统实现有缺陷。提出 TrajSelector 策略，用轻量级打分模型复用隐状态打分，训练无需手动标注，实验显示性能增长稳定。
图像分词器造反了！华为 Selftok：自回归内核完美统一扩散模型，触发像素自主推理
华为盘古多模态生成团队推出 Selftok 技术，通过反向扩散将自回归先验融入视觉 token。它突破传统，实现因果 token、强化学习友好型 token 及纯 AR 大一统架构，实验在多方面表现优异，论文还入选 CVPR 2025 最佳候选。
刚刚，为对抗哥大退学生开发的AI作弊器，哥大学生造了个AI照妖镜
Cluely是款备受争议的AI桌面助手，能替人参会。哥伦比亚大学学生开发反Cluely工具Truely，检测通话是否为真人。其原理是检测对方设备PID，不过使用较繁琐。同时，Cluely起诉公布其提示词的人。
混元3D开源端到端全景深度估计器，代码+精选全景数据已上线，在线可玩
全景深度估计在3D视觉领域日益受关注，但因全景数据稀缺、球面畸变问题，以往方法零样本泛化和效率不佳。腾讯混元3D团队提出DA²，通过数据扩充引擎和SphereViT架构，提升性能，展现SOTA表现。
每天熬到凌晨、没有人规划、全靠“能干就干”！离职员工爆料：OpenAI Codex 就是这样“卷”出来的
《连线》称 OpenAI 研究员 Jason Wei 等将加盟 Meta。离职员工 Calvin French - Owen 分享在 OpenAI 经历，揭秘其自下而上研究文化、扩张问题、成本结构等，还讲述 Codex 开发情况。
央企怎么做超级智能体？对谈中电信天翼AI：自研模型为底座，自主规划是必须，能适应千行百业才行
中国电信天翼AI发布星辰超级智能体，获2025企业级AI Agent榜单央企第一。它依托自研“星辰大模型”，具备全模态、复杂推理等能力。访谈专家指出智能体可直接产出应用，落地需嵌入主业系统，电信持续迭代模型优化它。
全自研仿真GPU求解器x虚实对标物理测量工厂，打造具身合成数据SuperApp，加速具身仿真生态丨光轮智能@MEET2026
在量子位MEET2026大会上，光轮智能杨海波指出具身智能核心是数据，仿真是解决数据问题的唯一方案。光轮智能自研“测量、生成、求解”基础设施，建立全栈仿真平台，还打造多个“爆品应用”，为具身智能发展提供支撑。
OpenClaw烧光全球Token？追觅芯际穿越甩出太空芯，200万卫星叫板马斯克
文章介绍了芯际穿越的业务进展。该品牌规划200万颗算力卫星组成太空算力中心，超越马斯克的SpaceX。其产品涵盖泛机器人、手机处理器、自动驾驶芯片等，踩中国家级复合主航道。
Github 9.8K Star真香！！再见黑白屏，这款终端神器让十六进制分析一目了然，效率200%+！
传统十六进制查看器单色显示影响效率，hexyl 基于 Rust 开发，彩色输出区分字节，支持多系统，免费开源获 9.8K Star。它功能多，安装方便，是十六进制分析利器。