「等变建模」共找到 8393 篇相关文章
Gemini CLI 重磅更新：现已支持音视频处理，并带来多项体验升级
Gemini CLI 迎来重磅更新，带来多项改进。新增音视频输入（暂未正式开启）、增强 Markdown 功能，集成 VSCodium 和 Neovim，技术栈升级至 Ink 6 和 React 19，还有主题更新、隐私管理等优化。
拯救P图废柴，阿里上新多模态模型Qwen-VLo！人人免费可玩
昨夜阿里推出全新多模态模型Qwen-VLo，在原有能力上全面升级，有细节捕捉、图像编辑、多语言支持等亮点，不受固定格式限制。官方demo展示多种玩法，目前免费可玩，实测其编辑能力不错。
完全开源低成本的双足机器人
Unitree Qmini是完全开源的低成本双足机器人，能3D打印制作。它有完整开源资源，开发者可轻松获取组件，3 - 5小时完成组装。其设计模块化，适用于个人、教育、研究等多场景。
Cursor 1.0 正式上线，写代码、审代码，一站式全能！多项功能体验升级！
Cursor 1.0正式发布，带来多项重磅升级。有自动代码审查与BugBot、后台智能体全面开放、Jupyter Notebook深度集成等功能，还引入记忆系统，升级一键集成与可视化体验。在对手被封杀背景下这次升级意义重大。
从平面几何出发：形式化验证如何驱动MLLM的推理能力跃迁
多模态大语言模型在复杂数学与几何推理中有缺陷，现有训练方式让模型难有鲁棒推理能力。上海交大等团队提出“以形式化增强非形式化推理”方案，构建完整闭环，提升模型推理及泛化能力。
阿里最新开源王炸Agent！性能全面SOTA！
阿里WebAgent更新频繁，基本一月一版。它是类似DeepResearch的通用智能体，历经WebWalker到WebWatcher多阶段演进，各阶段解决不同问题，如网页导航、自主信息搜集等，还不断优化训练数据生成与处理方式。
让AI说人话，Anthropic开源内部最火的skills。
周末，Anthropic官方分享并开源内部常用的skills——eli5，其作用是让AI说人话，解决模型回复冗长啰嗦问题。还介绍了安装方法，指出从opus4.6起，模型coding和agent能力变强但人味淡。
抢完诺奖得主又挖伯克利CS掌门，Anthropic两周揽四将
AI人才抢夺战升级，Anthropic两周揽四将，包括诺奖得主John Jumper等。7月1日，UC伯克利计算机科学部掌门人Jelani Nelson加入Anthropic。当下AI竞争从模型能力转向算法理论，‘休假入职’成潮流。
谷歌「推理之王」也跑路Meta了，当年还是李飞飞挖来的
谷歌「离职潮」含金量提升，「推理之王」周登勇跳槽Meta。此前Noam Shazeer、John Jumper等也相继离开。谷歌全力「武装」AI Coding突击小队，重构Gemini训练方式，与原世界模型AGI路线冲突。
为了活到120岁，硅谷富豪们正在把自己变成小白鼠
硅谷富豪为活到120岁，用‘生物黑客’手段抗衰，如服雷帕霉素、尝试血浆疗法等。科研人员警告，这些技术未临床测试，效果和安全性未知。同时，长寿科技成资本热门，不同公司有不同路径。