Leanstral：Mistral AI开源的Lean 4代码智能体，高效实现形式化证明与代码验证
Leanstral是Mistral AI推出的首款专为Lean 4打造的开源代码智能体，以6B激活参数的高度稀疏架构实现高效的形式化证明与代码验证能力。该智能体可在真实的形式化代码仓库中运...
StepClaw：阶跃星辰推出的零门槛云端 AI 助手，支持手机一键部署小龙虾智能体
StepClaw是阶跃星辰基于OpenClaw打造的云端AI智能体工具，支持一键部署、7×24小时在线运行，搭载Step 3.5 Flash模型，面向普通用户与开发者提供零门槛“养龙虾”体验，开放...
OpenJarvis：斯坦福开源的本地优先 AI 智能体框架，隐私安全与高效执行兼备
OpenJarvis是由斯坦福大学Hazy Research与Scaling Intelligence Lab联合研发、基于本地优先（Local-First） 理念的开源个人AI智能体框架，核心目标是让AI默认在用户本地设备...
小艺Claw：华为小艺推出的鸿蒙原生AI智能体，零代码主动执行与多端协同
小艺Claw是华为小艺开放平台基于OpenClaw开源框架深度适配HarmonyOS打造的原生AI智能体，以零代码、可视化、可养成、跨设备协同为核心，提供信息猎手、办公搭子、创作天才、...
肉包（Roubao）：无需电脑的开源AI手机自动化助手，自然语言操控全场景任务
肉包（Roubao）是一款开源的Android AI手机自动化助手，基于Kotlin原生编写，依托视觉语言模型与多Agent协作架构，无需电脑、ADB与Python环境，用户通过自然语言指令即可让...
不靠 GPU，也能跑大模型？深入 llama.cpp 的硬核实践
详解 llama.cpp 架构原理、GGUF 模型格式、Q4_K_M 量化策略、CPU/GPU 部署实战、API 服务配置及 2025 新增路由模式。涵盖树莓派/Mac/Windows/Linux 全平台，附故障排查与性...
Helios：北大开源的实时长视频生成模型，单卡19.5FPS实现分钟级高质量无漂移创作
Helios是北京大学YuanGroup开源的140亿参数实时长视频生成模型，无需传统抗漂移与加速技巧，即可在单张H100显卡实现19.5FPS端到端推理，支持文本/图像/视频驱动的分钟级高质...
Zerox：开源AI视觉OCR框架，复杂文档一键转结构化Markdown
Zerox是一款面向AI数据摄入场景的开源光学字符识别工具，核心定位是用极简方式把各类视觉形态的文档，转换成AI可直接处理的结构化Markdown格式。它由getomni-ai团队开发并维...
19岁天才少年做AI应用年入2亿：被15所名校拒收，却用产品敲开巨头大门
近日，在美国头部营养追踪应用MyFitnessPal宣布完成对AI卡路里计算应用Cal AI的收购仅两天后，一笔高达3000万美元（约合人民币2亿元）的年收入数据震惊了科技圈。这不仅是一...
ImageCritic：南开大学开源的AI生成图像细节纠错工具
ImageCritic是由南开大学HVision实验室推出的开源AI图像后处理项目，基于参考引导的注意力对齐机制，专门解决扩散模型生成图像中常见的细节错位、纹理不匹配、结构不一致等...