「正式证明搜索」共找到 1052 篇相关文章
Google 发了个压缩算法，内存砍 6 倍，速度快 8 倍，精度零损失
Google Research发布TurboQuant压缩算法，将在下月ICLR 2026正式发表。该算法把大模型的KV Cache压缩到3 bit，内存降6倍、速度快8倍且精度零损失，解决了传统算法的压缩开销问题。
The Batch: 920 | Nano Banana 2 在性能/价格比方面实现提升
Google发布Nano Banana 2（正式名称Gemini 3.1 Flash Image），是图像生成系统。它速度快约4倍、成本减半，支持多功能，在多个排行榜中位列前三，以低价接近文字 - 图片排行榜领先位置。
不同灵巧手，终于可以共用「一套大脑」了
北卡罗来纳大学教堂山分校团队提出 One Hand to Rule Them All，构建统一描述空间，使不同灵巧手共享动作表达与策略结构。该方法解决跨手泛化难题，实验证明其在多方面有效，有望推动机器人操作研究发展。
今夜，OpenAI杀死了GPT-4o
2月14日凌晨2点，OpenAI经典模型GPT - 4o正式下线，引发用户强烈不满。大量用户悼念，有人取消订阅。此前OpenAI曾想下架它，用GPT - 5替代。此外，GPT - 4o微型版用于Retro Bio长寿实验，引发用户痛斥。
GitHub深夜引爆，最强Claude + Codex合体！全球1.8亿码农一夜解放
微软GitHub宣布重磅更新，正式集成Claude和Codex，与Copilot合体，开发者可通过Agent HQ调用它们完成复杂任务。这标志着GitHub从代码托管平台进化为多智能体协同的「AI战场」，降低了开发摩擦感。
大道至简，何恺明团队新作pMF开启像素级「无潜、单步」生成范式
何恺明团队新论文提出用于单步、无潜空间图像生成的pMF框架，直指主流扩散与流匹配模型通病。该框架将v、u和x三个场关联，训练网络把噪声输入直接映射为图像像素，实验表现强劲。
Clawdbot一夜爆红，首个0员工公司诞生！7×24h永不下班
退休码农造出的AI Clawdbot在硅谷爆红，搜索量超Claude Code。它是AGI雏形下的智能体，能在本地电脑运行，可被多方式操控，效率高。不过，它诞生不久，试用中有不稳定情况和安全隐患。
马斯克首席AI脑与莱姆病抗争！曾师从丘成桐，杨格宣布辞职
马斯克xAI核心架构师、联创之一杨格宣布离职，转任非正式顾问。他长期与莱姆病斗争，打算康复后复出。杨格是数学天才，师从丘成桐，是Tensor Programs理论之父，其技术为xAI节省大量算力成本。
毫无征兆！DeepSeek R1爆更86页论文，这才是真正的Open
两天前，DeepSeek悄无声息把R1论文从22页更新到86页，将其升级为开源社区可复现的技术报告。新论文干货多，如精确数据配方、基础设施说明等，且多项实力媲美甚至赶超OpenAI等闭源模型。
英特尔CES奇袭老黄大本营！英伟达显卡刚涨价，最强酷睿量产出货
英特尔第三代酷睿Ultra处理器正式开卖，基于Intel 18A制程，有RibbonFET和PowerVia两大黑科技。移动端有酷睿Ultra X9和X7，图形处理、多线程性能提升，续航达27小时，边缘处理器与PC同步发布。