AI项目和框架
本栏目介绍和收录了当前流行的AI研究项目和框架，紧跟最新AI领域的进展，解读AI研究论文和方法框架，帮你快速了解这些项目的工作原理。
Magnitude – 开源 AI Agent 驱动的端到端测试框架
Pollinations.AI – 开源AI内容生成平台，提供免费文本和图像生成API
Kimina-Prover – 月之暗面联合 Numina 推出的数学定理证明模型
BlenderMCP – 基于 MCP 集成的 3D 建模工具
OpenAI o4-mini – OpenAI推出的小型推理模型
Codex CLI – OpenAI 开源的AI编程智能体
Neural4D 2o – DreamTech 推出支持多模态交互的 3D 模型
InternVL3 – 上海 AI Lab 开源的多模态大语言模型
豆包1.5·UI-TARS – 字节豆包推出的 GUI Agent 模型
