KiminaProver–月之暗面联合Numina推出的数学定理证明模型
AI工具百科：
KiminaProver是什么
KiminaProver是月之暗面与Numina团队合作...
IIAgent–IntelligentInternet开源的通用AIAgent框架
AI工具百科：
IIAgent是什么
IIAgent 是开源的Agent框架，通过与大型语言模...
Pixel3DMM–慕尼黑联合伦敦大学等推出的3D人脸重建框架
AI工具百科：
Pixel3DMM是什么
Pixel3DMM是慕尼黑工业大学、伦敦大学学院和S...
MistralOCR–MistralAI推出的先进光学字符识别工具
AI工具百科：
Mistral OCR是什么
Mistral OCR 是 Mistral AI 推出的先进光学...
Bolt3D–牛津大学联合谷歌推出的3D场景生成技术
AI工具百科：
Bolt3D是什么
Bolt3D 是谷歌研究院、牛津大学 VGG 团队和谷歌 ...
InternVL–OpenGVLab推出的多模态大模型
AI工具百科：
InternVL是什么
InternVL 是上海人工智能实验室 OpenGVLab 推...
AIResearcher–香港大学推出的开源自动化科学研究工具
AI工具百科：
AIResearcher是什么
AIResearcher 是香港大学数据科学实验室推...
QBot–腾讯QQ浏览器推出的全新AI浏览器
AI工具百科：
QBot是什么
QBot是腾讯QQ浏览器推出的全新AI浏览器，集成了AI...
HedyAI–AI会议工具，实时分析会议内容、提供实时洞察与建议
AI工具百科：
Hedy AI是什么
Hedy AI 是提升会议和对话效率的人工智能工具。...
NodeRAG–开源基于异构图的智能检索与生成系统
AI工具百科：
NodeRAG是什么
NodeRAG 是基于异构图的检索增强生成（Retrieva...
Fellou–FellouAI推出的首个Agentic浏览器
AI工具百科：
Fellou是什么
Fellou 是AI初创公司 Fellou AI 推出的全球首个A...
小卡健康–AI健康管理应用，自动识别食物热量和营养分析
AI工具百科：
小卡健康是什么
小卡健康是北京快欧科技推出的AI健康管理应用...
