搜索
北航、清华、港大、北大联合团队提出近似投机解码（ASD），作为即插即用的验证器模块，在严格预算内接受极少数低遗憾分歧字并复用大模型已算好的后缀，免训练地挂载于DSpark、EAGLE3、Medusa等主流投机解码算法，吞吐最高提升15.26%。
理想汽车在AI人才离职潮中引入世界模型专家刘宇，任具身行为部负责人，专注研发机器人基座模型并向詹锟汇报。
ECCV 2026论文ART由vivo BlueImage Lab联合哈工大与南大提出，通过将真实参考图作为可微分监督信号的两阶段训练框架，突破了复杂妆容迁移中的伪目标天花板，同步发布了首个2K分辨率妆容数据集MF2K。
就在刚刚，GPT-6 Astra 毫无预警地全量上线。GPT-6 Astra 已经正式面向 ChatGPT Work 以及 Codex 的 Pro、Enterprise 和 Business Premium 用户同步开放，API 接口也已经全部就绪。
Anthropic声称其模型Claude在11天内完成了费马大定理的完整形式化证明，写下约1300万行Lean代码，人类仅提供少量高层指导，其中30300个定理获得机器可验证证明，标志着大规模自动形式化首次接近工程化落地。
荷兰AI初创公司Wonderful完成5.5亿美元C轮融资，估值达50亿美元，其打造的AI操作系统AI OS可统一管理企业跨模型、跨部署方式的AI工作流，目前团队已扩展至650人并覆盖35个市场。
AI智能体基础设施公司以太之心（AetherHeart）凭借Aeloon智能体与AetherStation边缘一体机产品，近日完成由上海天使会、浦东创投、高信资本及天使清芬参投的数千万种子轮融资。
微信开始内测小微AI社交功能，允许两个用户的小微建立独立会话并直接完成沟通，人仅在需要授权和做决定时介入，同时微信为此类AI间对话设置了独立入口。
Grok Bot企业版上线，Grok和Cursor企业用户可免费使用两周，新增权限绑定、网络控制和审计日志等安全功能，并支持多智能体云端协同办公与模板共享。
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。