KiminaProver–月之暗面联合Numina推出的数学定理证明模型
AI工具百科：
KiminaProver是什么
KiminaProver是月之暗面与Numina团队合作...
MistralOCR–MistralAI推出的先进光学字符识别工具
AI工具百科：
Mistral OCR是什么
Mistral OCR 是 Mistral AI 推出的先进光学...
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 是提升会议和对话效率的人工智能工具。...
Fellou–FellouAI推出的首个Agentic浏览器
AI工具百科：
Fellou是什么
Fellou 是AI初创公司 Fellou AI 推出的全球首个A...
MAIDSR1–微软开源的AI模型，基于DeepSeekR1改进版
AI工具百科：
MAIDSR1是什么
MAIDSR1 是微软基于 DeepSeek R1 改进的AI模型...
AI教师助手–外研在线推出的全学科AI教学工具
AI工具百科：
AI教师助手是什么
AI教师助手是外研在线科技有限公司推出的智...
大学搜题酱–作业帮旗下的大学生AI学习助手
AI工具百科：
大学搜题酱是什么
大学搜题酱是作业帮旗下针对大学生的AI学习...
