「高可用机制」共找到 2818 篇相关文章
小灵通老将再出山，这次要带着机器人冲刺IPO
8月24日，优地机器人通过港交所主板上市聆讯。它由UT斯达康前员工创立，近年商业模式调整，超半数收入非机器人直销。虽出货多但亏损，仍需提升产品毛利率和服务收入，加快现金回收。
一篇Self-Evolving Coding Agents最新综述
当今编码智能体部署后大多静止，自进化编码智能体应运而生，可让Agent通过交互更新自身。文章介绍了其概念、分类，探讨组件进化机制、时机及评估方法，也提及带来的新挑战。
全网挤爆Seedance 2.5，但2.0 fast降到6毛是真的香！
近期AI视频赛道竞争激烈，FLUX 3登场，国内巨头也纷纷推出新模型。字节Seedance 2.5优势明显，但适用特定场景。Seedance 2.0 fast降至6毛每秒，经多场景实测，表现均衡，是性价比之选。
寻明生科获1亿美元B轮融资，加码基座模型开拓AI药物发现新边界 | 5Y News
近日，寻明生科宣布完成1亿美元B轮融资，累计近2亿美元。资金将投入生物基座模型研发与规模化训练，升级Lab - in - the - Loop体系。该公司构建闭环AI原生基础设施，其模型能力获验证，商业变现多元。
对话刘靖康：镜头之外的「智能」和「审美」，才是 Camera Agent 的主战场
影石 Insta360 创始人刘靖康在 AGI Playground 2026 上提出未来影像设备“前轻后重”趋势。他介绍了 Cameraman 愿景，涵盖 Imaging、AI、Robotics 三技术方向，还提到云端 AI 剪辑服务情况及对行业多方面的见解。
kimi K3超大杯升级背后的技术内幕
文章介绍开源模型 K3 架构设计思路。主要探讨 MoE 和 MLA 部分，在 MoE 方面提出 SiTU、Norm、QB 改进；在注意力机制选择 MLA，与 KDA 混合缓解部分问题，还谈及 DSV4、NoPE 相关特点。
告别 AI 流量焦虑！这款开源神器让你的品牌成为 AI 的「标准答案」
市面上 GEO 工具大多是 SaaS 订阅制，有收费高、数据不透明等问题。开源项目 GeoLook 是 GEO 实施平台，实现监测到交付闭环，有数据主权、适配中文市场等亮点，还给出快速上手步骤。
Nanbeige4.2-3B：探索通用Agent小模型
在模型越做越大的当下，推理成本成了影响Agent大规模使用的关键因素。南北阁实验室推出Nanbeige4.2 - 3B，在架构、数据构造和训练pipeline层面做了系统工作，评测表现良好，还探索本地个人助手等应用。
诺奖得主用AI凭空造出基因剪刀，比进化几十亿年的那把还准
7月16日，《Nature》刊出消息，诺奖得主Jennifer Doudna团队用AI造出自然界不存在的CRISPR酶，改了30%的序列仍能用，比天然版本更精准。创业公司Profluent也生成全新Cas9，脱靶编辑率大幅降低。
横扫八大数学竞赛：清华微软联合提出STAR-PólyaMath，Apex基准超GPT-5.5 13.5%
清华大学与微软亚洲研究院团队提出推理多智能体系统 STAR - PólyaMath，构建探索 - 推理 - 验证框架，解决大模型长程数学推理瓶颈，在八大数学竞赛基准获最优成绩，还可泛化到其他推理场景。