搜索
过去一段时间，TiDB 团队启动了一项面向 Agent 的基础设施尝试——TiDB Cloud Filesystem。它把 Workspace 从 Session 和 Sandbox 的生命周期中独立出来：Agent 仍然通过熟悉的文件系统接口工作，背后则提供数据库级的持久化、版本、分支、回滚和权限控制。
坚持 1 晚通宵，烧掉 2 亿 Token，用上 3D 打印，掏出 4 千账单，购置 512GB 内存 Mac Studio，Vibe Coding 到 6 神无主，7 荤 8 素，最终获得 0 个用户......
硅谷独角兽Axiom Math宣布其6人团队在约两周的秘密实验中，借助AI驱动的搜索、计算与Lean形式化验证，将有界素数间隔上界从246进一步推进到212，打破了保持十余年的纪录。
现在用 AI 做视频，效果这块已经很可以了，最大的问题就是生成速度实在太慢。
作者苍何利用Seko平台的出海剧转绘、剧本裂变与出海原创短剧skill，将国内短剧本地化改编为泰国、美国、韩国等海外版本，结合seed Audio 1.0音频翻译实现低成本AI短剧出海，展示普通人抓住2026年海外40亿美元短剧市场的可行路径。
Claude证明超67%黎曼zeta零点位于临界线上，数学家Youness Lamzouri随后用更简洁的希尔伯特空间不等式给出了优雅的重新证明，AI工具AxiomProver在数小时内于Lean中完成自动形式化验证。
小米凭借覆盖芯片（玄戒O3/O100/D100）、大模型（MiMo-V2.5、Xiaomi-Robotics系列）、澎湃OS 4、11.6亿台IoT设备及三大智能工厂的完整链路，成为全球首个实现"人车家全生态"物理AI落地的科技公司，在IFA 2025上展示了从数字世界走向物理世界的生态整合优势。
AI智能体基础设施公司以太之心（AetherHeart）凭借Aeloon智能体与AetherStation边缘一体机产品，近日完成由上海天使会、浦东创投、高信资本及天使清芬参投的数千万种子轮融资。
过去几年，机器人操作领域几乎被一批新概念重新 “刷屏”。 LLM Planner、VLA、Diffusion Policy、Flow Matching、Latent Action、World Mode
AI音乐公司ACE完成近4000万美元融资，成为AI音乐赛道融资额最高的华人团队之一，资金将用于自研音乐基础模型研发、全球团队扩张及面向大众市场的新产品Miya。