KiminaProver–月之暗面联合Numina推出的数学定理证明模型
AI工具百科：
KiminaProver是什么
KiminaProver是月之暗面与Numina团队合作...
MAIDSR1–微软开源的AI模型，基于DeepSeekR1改进版
AI工具百科：
MAIDSR1是什么
MAIDSR1 是微软基于 DeepSeek R1 改进的AI模型...
Step1X3D–阶跃星辰联合LightIllusions开源的3D资产生成框架
AI工具百科：
Step1X3D是什么
Step1X3D 是StepFun联合LightIllusions推出的...
GR00TN1–英伟达开源的人形机器人基础模型
AI工具百科：
GR00T N1是什么
GR00T N1 是英伟达推出的全球首个开源基础模型...
AReaLboba–蚂蚁联合清华开源的强化学习训练框架
AI工具百科：
AReaLboba是什么
AReaLboba 是蚂蚁技术研究院和清华大学联合推...
SuperGPQA–豆包大模型联合MAP开源的知识推理基准测试集
AI工具百科：
SuperGPQA是什么
SuperGPQA 是字节跳动豆包大模型团队联合 MAP...
HoloPart–港大联合VAST开源生成完整可编辑部件的3D模型
AI工具百科：
HoloPart是什么
HoloPart 是香港大学、VAST 团队推出的新型扩...
DMind–专为Web3领域优化的大模型
AI工具百科：
DMind是什么
DMind是DMind研究机构发布的专为Web3领域优化的大...
SkyworkVLReward–SkyworkAI开源的多模态奖励模型
AI工具百科：
SkyworkVL Reward是什么
SkyworkVL Reward是Skywork AI开源的...
SkyworkOR1–昆仑万维开源的高性能系列推理模型
AI工具百科：
SkyworkOR1是什么
SkyworkOR1(Open Reasoner 1)是昆仑万维推出...
ChatTS14B–字节开源的时间序列理解和推理大模型
AI工具百科：
ChatTS14B是什么
ChatTS14B 是字节跳动研究团队开源的专注于时...
InternVL3–上海AILab开源的多模态大语言模型
AI工具百科：
InternVL3是什么
InternVL3是上海人工智能实验室开源的多模态...
