「正式证明搜索」共找到 1052 篇相关文章
突发！Cursor一夜干掉了GitHub
美东时间上午，GitHub全面瘫痪7小时，核心服务瘫痪3小时。而Cursor正式并入SpaceXAI后甩出全新代码托管平台Origin。它专为Agent时代设计，功能强大，亮点诸多，还支持与GitHub同步。
Obsidian 重度用户狂喜！13000+ Star 的 AI 编程助手直接嵌入知识库！
Obsidian 重度用户常为海量笔记整理发愁。Claudian 可将 AI 编程助手嵌入 Obsidian 知识库，支持多种 AI 工具，有文件读写、搜索等功能，还具备行内编辑、@提及引用等亮点，安装也很方便。
Kubernetes v1.36 发布：安全默认配置强化，AI 工作负载支持日趋成熟
Kubernetes发布1.36版本，代号Haru，含70项增强功能。聚焦安全加固、AI和机器学习工作负载及API可扩展性。如用户命名空间等安全功能达GA，AI方面适配工作负载需求，还引入新功能，同时移除部分旧功能。
ICML 2026 | 突破3DGS光度多义性瓶颈：北航/新国立提出AmbiSuR，重塑高保真3D几何重建
3D高斯泼溅推动神经渲染发展，但提取3D几何表面易失真，核心瓶颈是光度多义性。北航与新国大团队提出AmbiSuR框架，从表征和监督层面解决问题，实验证明其在多数据集表现优异。
Altman 投的 Agent 终端 Warp 开源了，15小时Star 数飙到3.5万！开源是延长软件寿命的最佳方式
由 Sam Altman 支持的现代终端 Warp 正式在 GitHub 开源，OpenAI 成新代码库创始赞助商。Warp 团队认为传统开发模式遇瓶颈，开源可汇集全球创意，还在功能上开放，引发社区热议。
AI版Chrome终于来了
Google正式推出Gemini in Chrome功能，将Gemini整合进Chrome浏览器。Chrome从‘内容展示器’变为‘内容理解器’，有多标签页处理等功能，提升效率，还推动浏览器形态演进，未来或能替用户操作。
拒绝Reward Hacking！港科联合快手可灵提出高效强化学习后训练扩散模型新范式
使用强化学习微调扩散模型时，常面临Reward Hacking和KL正则化阻碍探索收敛的问题。港科等团队提出GARDO框架，通过门控自适应正则化和多样性感知优化，解决痛点且全面开源。
小米陈龙团队首作：统一具身与自动驾驶的开源模型
小米具身智能团队发布首篇论文，提出统一具身智能与自动驾驶的新模型MiMo-Embodied。该模型在多任务中领先，其四阶段训练框架打通两领域边界，为行业提供新范式。
14万，家务机器人带回家！斯坦福华人博士具身创业首款产品亮相
斯坦福明星华人博士生创业机器人Memo亮相，售价2万美刀。它颜值高，能做家务，在无剪辑等的demo中有出色表现。其背后是ACT - 1模型，依赖技能捕捉手套数据训练，成本低且用户可教它新本领，预计2026年推出。
一个能思考、会记忆的AI导演诞生了！新加坡管理大学，香港中文大学等实现故事化视频生成
新加坡管理大学等提出开源全能多智能体框架UniVA，可统一视频理解、分割等能力，按指令生成完整故事视频。还引入UniVA - Bench基准测试套件，实验显示其在多任务中表现出色，代表视频智能生成重要进步。