「可验证推理」共找到 6181 篇相关文章
GitHub 1.3k 一款能“填色回忆”的神器：DDColor 让老照片鲜活又逼真
DDColor是阿里达摩院团队提出的新一代图像自动着色模型，基于双重设计，能实现高保真、真实感强的黑白图转彩色图。它兼容多种类型图片，有诸多核心功能，相比传统模型优势明显，应用场景广泛。
Google 错放大招！Gemini CLI 开源+免费，Claude Code瞬间不香了......
Google悄悄发布开源免费的命令行AI开发工具Gemini CLI，免费用户每天1000次请求、每分钟60次。它功能强大，是完整AI代理，还与Gemini Code Assist配合，或改变coding游戏规则。
腾讯发布Hunyuan-GameCraft！从静图进入动态游戏世界
近年来，现有方法难满足游戏视频生成需求。腾讯推出Hunyuan - GameCraft，可基于一张图像和提示词生成游戏交互视频，能精准响应交互信号，保留历史场景信息，不过动作空间待丰富。
马斯克Robotaxi今日上路：画饼十年终兑现！团队合影C位武汉理工校友引关注
当地时间6月22日，特斯拉Robotaxi服务在美国奥斯汀南部启动，首批约10辆2025款Model Y运营。马斯克盛赞团队，AI团队合照C位是武汉理工大学校友段鹏飞，他是Autopilot关键技术负责人。
推荐大模型来了？OneRec论文解读：端到端训练如何同时吃掉效果与成本
随着AI发展，推荐系统面临诸多问题，快手技术团队提出OneRec，以端到端生成式架构重构推荐系统全链路，在效果与成本上实现突破，已在快手双端服务用户，也有需完善之处。
CVPR史上首次！中国车厂主讲AI大模型，自动驾驶也玩Scaling Law?
世界计算机三大顶会之一CVPR 2025落幕，小鹏汽车作为唯一受邀车企，其世界基座模型负责人发表演讲分享成果。小鹏用强化学习打造‘AI大脑’，还自研‘世界模型’，从云到端全流程优化，展现中国车企在自动驾驶的创新实力。
巨头博弈下，Agent 的机会和价值究竟在哪里？
极客公园创始人与拾象相关人员对话，探讨 Agent 热点话题。指出其真正门槛或在基础设施，还谈及产品路径、技术挑战等，如通用 Agent 是大模型公司主战场，Coding 是衡量 AGI 关键指标等。
AGI真方向？谷歌证明：智能体在自研世界模型，世界模型is all You Need
谷歌DeepMind研究人员表明，通用AI智能体处理复杂长期任务需学习内部世界模型，还证明可从智能体策略提取该模型。此研究成果补充多领域，对AI发展和安全意义重大。
告别天价API账单！开源Chatterbox语音服务器上线，隐私与效率双赢！
第三方语音合成API成本高、有隐私风险，直接部署开源模型配置复杂。开源的Chatterbox-TTS-Server基于Chatterbox TTS模型，有Web界面、声音克隆等功能，支持GPU和Docker，可解决部署难题。
Meta与Constellation Energy签署20年核电协议
全球社交巨头Meta官网宣布，与Constellation Energy签20年核能购买协议，规模超此前微软。电力将来自克林顿清洁能源中心，2027年启动供应，可保清洁能源，推进AI发展，还能保留岗位。