“纽约大学”
手机
-
2025捷途
2025款捷途旗下主要包含旅行者和山海T1两大系...
-
2026高通
2026年高通在芯片技术领域将迎来重大突破，主要体现在以...
-
2025高通
2025年高通公司在移动芯片、多元化战略及市场表现方面呈...
-
2025小米16新机发布时间
根据最新信息，小米近期新机的发布时间如下：...
汽车
经典延续+驾控升级 试驾标致New Django
[ ] 说到标致摩托Django（姜戈），相信它是不少消费者对复古踏板车理解的启蒙车型，其实早在Django登场之前，已经有Vespa来扛起复古...
- 柴油机夏天用40还是50机油？柴油机油40与50区别08-29
- 终于等来了 国产贝纳利TNT899即将上市08-29
- 柴油机水箱进机油原因08-29
- 精益求精更进一步 赛道试驾川崎ZX-baidu0910R08-29
- 柴油机烧机油是什么原因，柴油发动机烧机油怎么处理08-29
- 米其林发布三款通勤轮胎 电动车是主角08-29
- 柴油机机油进水的原因，机油进水了怎么处理08-29
- 米兰国际摩展 Honda发布攀爬车型CL50008-29
AI工具
GoodWeBot – 基于 RPA 技术开源的 AI 微信机器人
GoodWeBot 是开源的基于 RPA 技术开发的 AI 微信机器人， 支...
- Goku – 港大和字节联合推出的最新视频生成模型08-29
- Goedel-baidu09Prover-baidu09V2 – 普林斯顿联合清华等开源的定理证明模型08-29
- Goedel-baidu09Prover – 自动化数学问题的形式证明生成开源推理模型08-29
- Glyph-baidu09ByT5 – 多语言视觉文本渲染项目08-29
- Glass – 开源AI桌面助手，实时捕捉屏幕内容和音频识别08-29
- GitMCP – 开源MCP服务器，可将GitHub仓库转为实时文档中心08-29
摩托车
经典延续+驾控升级 试驾标致New Django
[ ] 说到标致摩托Django（姜戈），相信它是不少消费者对复...
- 终于等来了 国产贝纳利TNT899即将上市08-29
- 精益求精更进一步 赛道试驾川崎ZX-baidu0910R08-29
- 米其林发布三款通勤轮胎 电动车是主角08-29
- 米兰国际摩展 Honda发布攀爬车型CL50008-29
- 筑梦龙城 Honda DreamWing太原店开业08-29
- 石川金联手SUNSTAR 最强刹车盘进入中国08-29
最新文章
-
经典延续+驾控升级 试驾标致New Django
[ ] 说到标致摩托Django（姜戈），相信它是不少消费者对复古踏板车理解的启蒙车型，其实早在Django登场之前，已经有Vespa来扛起复古踏板的大旗，但颇高的门槛将许多消费者拒于门外。时间来到2015年，标...
0 0 -
GoodWeBot – 基于 RPA 技术开源的 AI 微信机器人
GoodWeBot 是开源的基于 RPA 技术开发的 AI 微信机器人， 支持一键免安装运行，用户下载后即可直接使用。工具已接入 Coze 等主流 AI，能实现智能回复、私聊群发、群聊群发、自动加好友、接受好友申请以及自动给...
0 0 -
Goku – 港大和字节联合推出的最新视频生成模型
Goku是香港大学和字节跳动联合发布的最新视频生成模型，专为图像和视频的联合生成设计。基于先进的rectified flow Transformer框架，支持文生视频、图生视频及文生图等多种模式。Goku的核心优势包括高质量...
0 0 -
算智算中心的算力如何衡量？
作为当下科技发展的重要基础设施，其算力的衡量关乎其能否高效支撑人工智能、大数据分析等智能应用的运行。以下是对智算中心算力衡量的详细阐述：一、算力的基本定义与单位1、算力的定义算力（ComputationalPower）是指智...
1 0 -
柴油机夏天用40还是50机油？柴油机油40与50区别
柴油40和50数字标识，就是代表机油的高温下的粘度，数字越大粘度越高，高温保护性能越好，适用的气温范围越大。 柴油40机油和50机油的区别，就是高温...
1 0 -
终于等来了 国产贝纳利TNT899即将上市
[ ] 近年来贝纳利的动作虽然不少，但在大排量市场中，总是给人一种在挤牙膏的感觉，坐拥贝纳利三缸技术十余年，却直到去年我们才真正见到了钱江麾下贝纳利的三缸新品1200GT。对于消费者来说，TNT是贝纳利街车家族的...
1 0 -
Goedel-baidu09Prover-baidu09V2 – 普林斯顿联合清华等开源的定理证明模型
Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验证器引导的自我修正和模型平均等创新技术，显著提升自动形式化证明生成的...
2 0 -
-
-
精益求精更进一步 赛道试驾川崎ZX-baidu0910R
[ ] 川崎ZX-10R这样一款充满传奇色彩的车型，实际很早以前就被中国的摩托车爱好者们收入囊中，被虽然99.99%是以不可言说的渠道获得，但这也开启了中国玩家们与ZX-10R的不解之缘。但在那时不知是ZX-10...
2 0 -
Goedel-baidu09Prover – 自动化数学问题的形式证明生成开源推理模型
Goedel-Prover（哥德尔证明器）是普林斯顿大学、清华大学、清华大学等机构推出的开源大型语言模型（LLM），用在自动化数学问题的形式证明生成。基于将自然语言数学问题翻译成形式语言（如Lean 4）生成形式化证明，解决...
2 0 -
Glyph-baidu09ByT5 – 多语言视觉文本渲染项目
Glyph-ByT5-v2由微软亚洲研究院、清华大学、北京大学和利物浦大学联合开发的多语言视觉文本渲染项目。Glyph-ByT5-v2支持10种不同语言的准确视觉文本渲染，审美质量上取得了显著提升。...
2 0
-
发布了文章 14小时前
DynaMem – 纽约大学和Hello Robot推出的动态空间语义记忆系统
DynaMem是纽约大学和Hello Robot推出的动态空间语义记忆系统，专为开放世界中的移动操作设计。基于维护一个特征点云作为机器人记忆，处理环境中的动态变化，如物体的添加和移除。当接收到新的RGBD观测时，DynaMe...
没有更多内容
