「可验证计算」共找到 5154 篇相关文章
海螺新模型海外爆火：一夜之间，猫、羊驼、长颈鹿都学会跳水了
国内AI公司Minimax的新模型‘Hailuo 02’本周三官宣上线，在海外爆火。其生成的动物跳水等复杂运动视频AI痕迹不明显，官方称它是全球唯一能处理类似体操高度复杂场景的模型。该模型使用NCR架构。
产业服务 | AI数智文创，谱写文旅新篇章—北京AIGC视听产业创新中心·创投会（第二期）圆满成功
北京AIGC视听产业创新中心·创投会（第二期）近日落幕。活动汇聚业内企业、院校、专家等，搭建三维平台征集项目。入围项目涵盖多领域，还有特别分享。活动推动AI与文旅融合，为产业发展提供支持。
字节押注AI Coding：百万月活的TRAE，如何改写开发者生态？｜甲子光年
字节跳动在火山引擎Force 2025原动力大会主推自研AI编程产品TRAE，其月活超百万，内部80%工程师在用。AI Coding能提升大模型能力，助字节逼近AGI。TRAE更新功能，未来或成独立开发超级个体。
从案例分析到提示词写作，手把手教你制作最火爆的AI视频
文章教大家制作火爆的AI视频，介绍爆款分析、创意拓展、提示词生成等方法。用NotebookLM分析视频，Gemini拓展创意，还给出提示词模板。借助Veo3降低成本，最后完成视频生成、合并及后处理。
Anthropic：我们如何构建多智能体研究系统
Anthropic分享构建多智能体研究系统的经验，该系统用多个Claude智能体探索复杂主题。介绍了多智能体系统优势、架构、提示工程、评估方法，也提及生产环境的挑战，此系统处理开放式研究任务价值大。
沉迷贪吃蛇，7B小模型竟变身「数学天才」！几何推理碾压GPT-4o
NVIDIA等团队提出视觉游戏学习ViGaL范式，让7B多模态模型玩贪吃蛇等游戏，使其在数学、几何等任务击败GPT - 4o。游戏培养通用认知与推理能力，不同游戏提升不同推理能力，多游戏训练效果更佳。
让chrome浏览器变成你的智能助手，浏览器转变为强大的 AI 控制自动化工具
Chrome MCP Server是基于chrome插件的模型上下文协议服务器，能让大模型或chatbot接管浏览器。它有chatbot/模型无关、用原本浏览器等特性，与同类项目比优势明显，还介绍了使用步骤、工具及示例。
The Batch：832 | AI 消耗能源，也节省能源
国际能源署对AI能源消耗全面分析，有忧有喜。担忧在于AI能源消耗有四种情景预测，到2030年数据中心电力需求或翻倍。期待是AI已开始提升能源效率，未来可带来巨大能源节约。
对话智源王仲远：机器人的大小脑可能会“合体”，但不是今天
今年智源大会上，智源研究院推出“悟界”系列大模型，如Emu3、Brainμ、RoboOS2.0、RoboBrain2.0和OpenComplex2。智源研究院长王仲远称大模型技术未到尽头，介绍了模型特点及发展趋势，如机器人大小脑融合需时间。
扩散语言模型真的会比自回归好？理论分析结果可能恰恰相反
北京大学和蚂蚁集团研究表明，扩散语言模型虽理论上有并行生成优势，但实践中在某些任务推理成本更高。研究通过实验对比，分析了扩散与自回归模型在不同评估指标下的效率，指出选择模型要视任务需求。