「可验证智能」共找到 7302 篇相关文章
十年来Python生态最好工具，引爆全社区的uv到底是什么？
uv是用Rust写的Python包和项目管理工具，被天文学家Emily L. Hunt博士赞为近十年Python生态最好的事。它功能强大，能替代多个工具，速度快，兼容性强，安装简单，还能轻松管理项目。
中科院联合清华等发布视觉语言行动推理模型VLA-R1，让机器人先思考再行动
中科院自动化所、清华和GigaAI联合发布视觉 - 语言 - 行动模型VLA - R1，让机器人先思考再行动。它通过构建数据集教模型思维链，结合监督微调与强化学习提升性能，经多场景测试表现出色。
ICCV25 Highlight｜格灵深瞳RICE模型狂刷榜单，让AI「看懂」图片的每个细节
格灵深瞳公司灵感团队自研的视觉模型基座RICE（MVT v1.5）刷榜多项视觉任务，在ICCV25获Highlight荣誉。它延续MVT系列理念，提升图片内部视觉特征差异性，在多任务验证中表现优异。
夸克“搜聊一体”新模式，难掩中国版ChatGPT的野心
夸克“C计划”首个落地项目对话助手引发热议。体验发现，它能完成复杂问答，还可用于图文识别、AI写作等场景。在回答逻辑性、辅助学习、理解模糊问题等方面表现出色，背后是阿里闭源模型。
中国机器人这么玩儿，把老外都整不会了
这两天，中国机器人把网上老外看傻眼。松延动力发布小机器人Bumi，售价9998元；本末科技推出全球首款整机模块具身智能机器人D - INFINITE，会功夫。此外，宇树H2等也引关注，中国机器人火出圈。
中国最新Agent产品趋势：多体协同，垂直赛道，行业核心业务 | 量子位智库AI 100
量子位智库2025Q3 AI100榜单中的Agent产品亮点颇多。智能体技术从单点向系统协作发展，应用落地深化至行业。如科研、投资领域的Agent发挥重要作用，部分产品流量可观，多款新发布产品入围。
训练成本暴降99%，35秒出1分钟高清视频！英伟达MIT等引爆视频AI革命
英伟达联合MIT、港大团队提出SANA - Video架构，其核心是创新的全局线性注意力Diffusion Transformer训练框架和全局显存恒定的KV缓存机制。它训练成本低、速度快、可部署，重新定义AI视频生成效率极限。
季度AI视频生成产品：多模态输入成标配，角逐一站式生成能力 | 量子位智库AI 100
Sora2下载量破百万引发AI视频生成热潮，谷歌推出Veo3.1再掀高潮。国外大厂将其卷至电影制作级创意，国内企业追求高质量、秒级生成并落地垂直场景。量子位智库发布的产品呈现多维度技术演进。
黄仁勋2025都在投啥？出手50次，32家公司覆盖产业链闭环
2025年前三季度，英伟达参与50笔AI风投超去年全年。投资覆盖基础设施、模型厂商、应用等领域。其AI俱乐部有32家公司，分三档。英伟达鲜少领投，黄仁勋不信AI有泡沫，投资能锁定硬件订单。
承认自己开源不行？转型“美国DeepSeek”后，两个谷歌研究员的AI初创公司融到20亿美元，估值暴涨15倍！
AI创业公司Reflection AI由两位前Google DeepMind研究员创立，仅一年就完成20亿美元融资，估值达80亿美元。它从编程领域起步，推出代码理解智能体Asimov，现转型为开源替代公司，要打造开放模型。