Leanstral 1.5：Mistral AI开源的Lean4形式化证明MoE模型
Leanstral 1.5 是法国AI企业Mistral AI发布的面向Lean 4形式化定理证明的开源MoE混合专家大模型，为初代Leanstral迭代升级版本，核心用途是自动生成可被Lean 4编译器机器校...
LingBot-Video：蚂蚁灵波开源的MoE具身智能视频大模型
LingBot-Video 是蚂蚁灵波基于Apache 2.0协议、面向具身智能的首款开源MoE混合专家大规模视频生成模型，同步开放完整代码、权重模型、提示词改写工具与技术报告。
ChatGPT4 和 GPT3.5 的提示词 Prompt 有什么区别？实操差异详解
完整拆解GPT4与GPT3.5提示词Prompt底层设计、句式、约束、场景实操差异，搭配可直接复用Prompt模板，区分两款模型专属写作规范，落地避坑指南。
GenEvolve：美团联合港科大推出的自进化图像生成智能体开源框架
GenEvolve 是美团、港科大联合开源工具编排式文生图 Agent，具备视觉经验蒸馏自进化能力，配套完整训练数据集与自动化评测基准，支持本地分布式批量绘图。
Agentic AI 是什么？和 AI Agent 是一回事吗？
深入解析Agentic AI（代理式人工智能）与AI Agent（人工智能智能体）的定义、核心特征、本质区别与内在联系。了解两者在自主性、任务范围和架构形态上的差异，把握AI技术演...
video-use：Browser Use推出的开源AI智能体剪辑工具
video-use 是 Browser Use 团队推出的100%开源、基于AI智能体的全自动视频剪辑工具，采用MIT开源协议，依托Claude Code、Codex、Hermes等具备Shell执行权限的大模型智能体，...
ViiTorVoice-NAR：开源本地AI语音克隆与音频局部编辑工具
ViiTorVoice-NAR是viitor-ai开源非自回归语音生成工具，支持零样本音色克隆、文本局部音频修改、60ms超低延迟推理，提供Gradio可视化、gRPC微服务、Docker容器部署，原生中...
Claude Sonnet 5：Anthropic推出的中端旗舰级智能体大模型
Claude Sonnet 5 是 AI 厂商 Anthropic 推出的中端主力大语言模型，内部代号 Fennec（耳廓狐），官方定位为「Near-Opus thinking, at Sonnet speed」，即拥有接近旗舰 Opus...
Hiring Agent：开源AI简历评估工具，自动解析PDF简历+GitHub技术能力打分
Hiring Agent是HackerRank开源Python简历打分流水线，支持Ollama本地/Gemini云端大模型，自动抓取GitHub履历，输出可溯源技术候选人评分报告，适用于技术岗批量简历初筛、私...
国产大模型2026年中横评：通义、文心、智谱、DeepSeek谁才是中文之王？
2026年国产大模型全面对比！基于权威评测数据，从中文理解、编程能力、推理、长文本、多模态、性价比六大维度深度评测通义千问Qwen3.7-Max、文心一言5.0/5.1、智谱GLM-5.2、...