「可验证智能」共找到 7238 篇相关文章
OCR-Reasoning：揭秘多模态大模型在复杂图文推理中的真实能力
主流OCR评测基准聚焦信息抽取，复杂图文推理任务中多模态大模型深度推理能力缺乏评估标准。OCR - Reasoning可系统性评估，还列举多种推理示例，并测评了Qwen2.5 - VL - 7B模型。
海螺新模型海外爆火：一夜之间，猫、羊驼、长颈鹿都学会跳水了
国内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降低成本，最后完成视频生成、合并及后处理。
75%预训练数据都能删！Jeff Dean新作：全自动筛除低质量数据
Google DeepMind团队开发的DataRater可全自动评估数据质量，用元学习筛选有价值数据，提升模型训练效率。它能减少计算量、提高性能，在低质量数据集效果佳，还能跨模型规模泛化。
沉迷贪吃蛇，7B小模型竟变身「数学天才」！几何推理碾压GPT-4o
NVIDIA等团队提出视觉游戏学习ViGaL范式，让7B多模态模型玩贪吃蛇等游戏，使其在数学、几何等任务击败GPT - 4o。游戏培养通用认知与推理能力，不同游戏提升不同推理能力，多游戏训练效果更佳。
The Batch：832 | AI 消耗能源，也节省能源
国际能源署对AI能源消耗全面分析，有忧有喜。担忧在于AI能源消耗有四种情景预测，到2030年数据中心电力需求或翻倍。期待是AI已开始提升能源效率，未来可带来巨大能源节约。
对话智源王仲远：机器人的大小脑可能会“合体”，但不是今天
今年智源大会上，智源研究院推出“悟界”系列大模型，如Emu3、Brainμ、RoboOS2.0、RoboBrain2.0和OpenComplex2。智源研究院长王仲远称大模型技术未到尽头，介绍了模型特点及发展趋势，如机器人大小脑融合需时间。
1.93bit版DeepSeek-R1编程超过Claude 4 Sonnet，不用GPU也能运行
1.93bit量化后的DeepSeek - R1（0528）编程能力超Claude 4 Sonnet，在aider榜单获60分。Unsloth工作室制作9个量化版本，小版本不用GPU也能跑。R1 - 0528在游戏评测中表现也佳。