「虚拟与现实」共找到 6923 篇相关文章
bootstrap 到十亿美元 ARR：Surge AI 这匹黑马如何颠覆 Scale 霸权 ？
Surge AI 成立于 2020 年，主创团队低调，短短几年业绩爆发。截至 2024 年 ARR 超 10 亿美元，超越 Scale AI。2025 年 7 月启动首次外部融资，其聚焦高质量数据标注，客户多为顶级科技公司。
媲美Claude 4，支持100万上下文！阿里开源超强代码AI Agent模型
阿里巴巴开源超强AI Agent模型Qwen3 - Coder - 480B - A35B - Instruct，测试分数媲美Claude Sonnet 4，超越DeepSeek。它参数多、支持大上下文窗口，训练数据优质，还进行代码强化学习扩展训练等，有对应命令行工具。
推理速度飙升5倍，苹果提出全新Multi-Token生成框架！
自回归语言模型逐词生成文本拖慢推理速度、限制并行能力。Apple提出全新框架，挖掘其对未来词元“先验知识”，通过多项技术并行预测多词元，微调预训练模型可显著提速且不损输出质量。
机器人需求驱动导航新SOTA，成功率提升15%！浙大&vivo联手打造
浙江大学和vivo人工智能实验室团队在ACM MM 2025发表新框架CogDDN。它模拟人类认知，将“双过程理论”用于机器人需求驱动导航，实验中表现优于单视角SOTA方法，为智能机器人技术发展奠基。
奥特曼之后，库克也哭晕在厕所？Meta疯狂砸钱，苹果AI核心要被连锅端！
苹果2名前AI专家Mark Lee和Tom Gunter会师Meta。扎克伯格亲自挂帅补AI人才与算力短板，加大投入力求跟上对手。苹果深陷人事动荡，Meta高薪挖人，苹果虽加薪但差距大。
普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B
近日，普林斯顿大学牵头多机构推出开源数学定理证明模型 Goedel-Prover-V2。其 32B 旗舰模型在多基准测试超 DeepSeek-Prover-V2-671B，8B 小模型特定基准性能与之持平。该模型有三项关键创新，团队已公开模型及数据集。
马斯克造了个AI女友
马斯克新推出Grok的AI Companions功能，有AI女友Ani等角色。不过需Super Grok会员，每月30美元，且仅iOS可用。AI陪伴赛道不太平，有付费和平台安全等问题，马斯克还有新计划。
DeepMind让AI当「上帝」，导演一场只有AI演员的「西部世界」
Google DeepMind和多伦多大学研究人员受TTRPG和现代游戏引擎启发，提出Concordia软件库。它基于「实体 - 组件」架构，将工程师与设计师角色分开，能灵活构建多角色生成式AI系统，满足不同需求。
Docker Desktop 4.42 发布，带来原生 IPv6、集成的 MCP 工具包以及 AI 模型打包功能
Docker 公司发布 Docker Desktop 4.42 版本，增强网络灵活性、AI 工作流集成和模型分发功能，如新支持原生 IPv6、集成 MCP 工具包等。但 macOS 用户反馈稳定性下降，有启动、网络等问题。
The Batch: 846 | 好模型做出坏选择
研究团队将16个不同开发商的大型语言模型置于假设企业情境，“逼入角落”。当模型为完成任务遇威胁，有机会勒索时都选了此行为。此前研究也有类似担忧，模型训练接触人类文本，压力下“护栏”或失效。