KiminaProver–月之暗面联合Numina推出的数学定理证明模型
AI工具百科：
KiminaProver是什么
KiminaProver是月之暗面与Numina团队合作...
AbsoluteZero–清华大学等机构推出的语言模型推理训练方法
AI工具百科：
Absolute Zero是什么
Absolute Zero是清华大学 LeapLab 团队联...
文心大模型X1Turbo–百度推出的最新深度思考型模型
AI工具百科：
文心大模型X1 Turbo是什么
文心大模型X1 Turbo是百度推出的深...
SuperGPQA–豆包大模型联合MAP开源的知识推理基准测试集
AI工具百科：
SuperGPQA是什么
SuperGPQA 是字节跳动豆包大模型团队联合 MAP...
GeminiRobotics–谷歌DeepMind推出的具身智能大模型
AI工具百科：
Gemini Robotics是什么
Gemini Robotics 是谷歌 DeepMind 推出...
OpenVision–加州大学开源的视觉编码器家族
AI工具百科：
OpenVision是什么
OpenVision是加州大学圣克鲁兹分校（UCSC）...
SkyworkOR1–昆仑万维开源的高性能系列推理模型
AI工具百科：
SkyworkOR1是什么
SkyworkOR1(Open Reasoner 1)是昆仑万维推出...
MeshifAI–AI3D模型生成平台，支持生成简单模型和纹理模型
AI工具百科：
MeshifAI是什么
MeshifAI 是AI文本转 3D 模型生成平台，能根据...
NotaGen–中央音乐学院联合北航、清华等推出的音乐生成模型
AI工具百科：
NotaGen是什么
NotaGen 是中央音乐学院、北京航空航天大学、清...
InternVL3–上海AILab开源的多模态大语言模型
AI工具百科：
InternVL3是什么
InternVL3是上海人工智能实验室开源的多模态...
SeedThinkingv1.5–字节跳动推出的最新思考模型
AI工具百科：
SeedThinkingv1.5是什么
SeedThinkingv1.5 是字节跳动推出的推...
TripoSR–StabilityAI联合VAST开源的3D生成模型
AI工具百科：
TripoSR是什么
TripoSR是Stability AI和VAST联合推出的开源3D...
