「可验证智能」共找到 7238 篇相关文章
23.6K star！微软AI项目硬核开源，带飞你的电脑！
微软开源项目 `OmniParser` 是超级智能“数字助手”，能像人一样“看懂”屏幕元素并操作。它精准识别小图标、响应快、开发便捷、兼容大模型且跨平台，目前在Github获23.6K star。
从科学论文自动生成视频
该项目解决学术演示两核心问题，用智能体PaperTalker生成视频，还设Paper2Video基准评估。介绍了PaperTalker使用步骤，含环境、配置、推理，也说明了Paper2Video评估指标及运行方法。
亚马逊“盲眼”机器人30秒跑酷首秀惊艳！华人学者领衔
亚马逊机器人团队FAR发布人形机器人研究成果OmniRetarget，它能让强化学习策略在复杂环境学技能并零样本迁移。该成果通过交互网格建模关系，经实验验证优势明显，背后团队由华人学者领衔。
投资应用Roi被OpenAI收购，Sam Altman想要的不简单是炒股
投资应用Roi被OpenAI收购，官网宣布10月15日停止服务。其核心产品Roi AI可提供个性化投资建议等。创始团队认为个性化是软件业未来。收购引发讨论，OpenAI或看重团队技术，Altman布局宏大。
AI圈“集体开大”！DeepSeek、Claude带头，智谱、阿里、蚂蚁、智源都“卷”起来了
双节前最后一天，AI圈“卷”疯了！智谱发布并开源GLM - 4.6，是国内最强Coding模型；阿里介绍视、听、说全模态同传大模型Qwen3 - LiveTranslate - Flash；蚂蚁开源万亿参数推理大模型Ring - 1T - preview；智源开源跨本体基座大模型RoboBrain - X0。
AI芯片烧到1000W！碳化硅成 “救命稻草”
碳化硅性能优于传统硅基器件，已用于新能源等领域。AI算力爆发，它成破解高功耗芯片散热难题、支撑数据中心能效升级核心材料，产业链上游及技术领先企业将长期受益。
AI视频进入蒸汽机时代
百度蒸汽机 2.0 迎来重磅升级，推出行业首个通用 AI 长视频生成功能，突破时长限制，引入交互式需求表达功能。它解决了传统视频生成痛点，在多个维度优化创新，还带来商业应用新可能。
新版 Android 插件登场，应用能瘦身 50%，Google 把代码优化和资源压缩合二为一
Google在新版Android Gradle Plugin引入资源压缩优化方案，合并代码优化与资源压缩。新方案让应用体积最高缩减50%，开发者有四种优化方式可选，AGP 8.12.0已提供该流程，AGP 9将默认开启。
对抗协作+原型学习！深北莫FedPall开源，联邦学习破局特征漂移，准确率登顶SOTA
深圳北理莫斯科大学人工智能研究院在ICCV发表FedPall算法，结合原型对比与对抗协作学习，在多种特征偏移数据集获SOTA性能。该算法通过多步骤训练缓解特征漂移，在多个公开数据集表现出色。
5.8K Star爆火!!在终端里开网页、刷视频、玩游戏，这操作真绝了！
介绍开源工具`term.everything`，它能在终端运行任何GUI应用，像浏览器、游戏等。该项目在GitHub获5.8K star，支持X11和Wayland应用，可远程使用，但画质和性能有局限。