AI项目和框架

本栏目介绍和收录了当前流行的AI研究项目和框架，紧跟最新AI领域的进展，解读AI研究论文和方法框架，帮你快速了解这些项目的工作原理。
BFS-Prover – 字节豆包推出的自动定理证明系统

BFS-Prover – 字节豆包推出的自动定理证明系统

≡ AI项目和框架
PySpur – 开源 AI 代理构建工具，拖拽式构建 AI 工作流

PySpur – 开源 AI 代理构建工具，拖拽式构建 AI 工作流

≡ AI项目和框架
Wan2.1 – 阿里开源的AI视频生成大模型

Wan2.1 – 阿里开源的AI视频生成大模型

≡ AI项目和框架
AgentRefine – 北京邮电大学联合美团推出的智能体合成框架

AgentRefine – 北京邮电大学联合美团推出的智能体合成框架

≡ AI项目和框架
DeepGEMM – DeepSeek 开源的 FP8 通用矩阵乘法库

DeepGEMM – DeepSeek 开源的 FP8 通用矩阵乘法库

≡ AI项目和框架
TinyR1-Preview – 奇虎360联合北大团队推出的推理模型

TinyR1-Preview – 奇虎360联合北大团队推出的推理模型

≡ AI项目和框架
SurveyX – 人民大学联合悉尼大学等推出自动化生成学术综述的系统

SurveyX – 人民大学联合悉尼大学等推出自动化生成学术综述的系统

≡ AI项目和框架
Flame – 开源的多模态前端代码生成模型

Flame – 开源的多模态前端代码生成模型

≡ AI项目和框架
OctoTools – 斯坦福推出解决复杂推理任务的开源智能体框架

OctoTools – 斯坦福推出解决复杂推理任务的开源智能体框架

≡ AI项目和框架
PhotoDoodle – 字节联合新加坡国立大学等推出的艺术化图像编辑框架

PhotoDoodle – 字节联合新加坡国立大学等推出的艺术化图像编辑框架

≡ AI项目和框架