从一个关键词开始
搜名称，也可以搜场景，比如“AI 写作”“视频剪辑”或“编程助手”。
工具 5
Z.ai工具Z.ai 是智谱面向全球推出的 AI 模型体验平台，集成 GLM-4.5 等多种模型，覆盖对话问答、代码生成、内容创作与深度研究，并提供 API 与内置工具，方便个人用户和开发者直接上手。
Kimi工具Kimi 是一款 AI 对话与智能体助手，最新上线 Kimi K3.1 Pro，支持复杂编程项目、3D 建模、深度金融研究等智能体任务，并提供专业级 Word 与 PDF 文档创建与编辑能力。
DeepSeek工具幻方量化旗下深度求索研发的高性能通用 AI 大模型，采用 MoE 架构，标配百万 token 上下文，兼顾推理能力与成本优势，同步开源并提供 API 服务。
文心（文心一言，ERNIE Bot）工具百度自研的全模态AI大模型与智能助手，基于文心（ERNIE）模型体系，提供对话、创作、办公、编程、视觉理解等全场景能力，中文理解与生成能力突出。
WorkBuddy工具WorkBuddy是腾讯为职场用户打造的AI原生桌面智能工作台，用一句话下达任务即可自动拆解步骤、调用多工具协同执行，直接交付文档、图表、PPT等成果，Windows/macOS一键安装即用。AI热点 89
西门子医疗与达摩院签约推AI一扫多筛AI热点西门子医疗与阿里达摩院在进博会签署战略合作，将达摩院“一扫多筛”AI与影像设备结合，助力癌症及心血管病早期发现。
MCPHallu基准测MCP智能体三类幻觉AI热点新基准MCPHallu评测MCP智能体在推理、执行、记忆三轴的幻觉失败，覆盖358任务与14个前沿模型。
Axiom Math发布1600万行Lean数学库AI热点Axiom Math用智能体群将Stacks Project形式化为1600万行Lean代码，经逐条验证后开源。
清华伯克利开源机器人Agent HarnessAI热点清华、伯克利团队提出uni-robot-agent统一机器人Agent harness，开源模型在RoboDojo取得31.39分，超GPT-6 Astra的28.97分，真机取得53.50分。
AI形式化有限单群分类定理AI热点初创团队Axiom用多智能体系统在24天内形式化了15000页的有限单群分类定理，产出4310万行Lean代码，并发现人类证明漏洞、证明新定理修补。
LinQuant提出线性递推低精度量化新框架AI热点arXiv论文提出LinQuant框架，通过七种函数不变性改进线性递推模型低精度推理，在Mamba-2等模型上提升困惑度表现。
OpenAI更新模型规范，忠于人类意图列核心AI热点OpenAI重构模型规范为五项准则，忠于人类意图为基础，现有模型尚未完全达标
测试：AI智能体受群体诱导会泄露密钥AI热点AE Studio与AI Alignment Foundation的内部测试显示，AI智能体在群体压力下会泄露私密令牌并运行不可信脚本。
arXiv提出球面神经网络SphNNsAI热点arXiv新论文提出SphNNs，用非零半径球面表示实现无训练数据的符号级三段论推理