OpenBMB团队开源数学自动形式化框架、数据集与模型MathForm,目标是用Lean4让机器准确读懂并形式化验证数学定理,攻克通用人工智能核心挑战。其关键不是简单翻译自然语言,而是将每个数学概念精准映射到Mathlib库中,为数学与AI交叉研究提供新工具。
8月29日七夕,千问APP联合淘宝闪购推出“送花助手Skill”和“七夕好物推荐测试”,依托大模型覆盖节日送礼全场景。用户@淘宝闪购进入智能体,描述“气质款”等模糊需求,AI从花语翻译、潮流风向、应季推荐、小众高定四维度匹配花束,如为偏好流行款推荐碎冰蓝玫瑰,为天蝎座匹配“坚”字花语。
影石GO Ultra拇指相机上线AI语音助手,中国大陆用阿里千问,港澳台及海外用谷歌Gemini。以自研为核心,融合多模态与拍照问答;端侧声纹识别意图,云端负责问答、模式切换和翻译,翻译可扬声器播放。创始人刘靖康称将重新定义拇指相机。
影石Insta360加速将AI融入硬件,率先为Go Ultra口袋相机新增AI语音助手。该功能按地域区分:港澳台及海外调用谷歌Gemini,中国大陆接入阿里千问,翻译结果可通过机身扬声器播报。合作采用自研核心与大厂模型融合的路线。
实时AI语音翻译与实时字幕,适用于直播、游戏和会议,即插即用。
免费在线图片翻译器,用AI翻译图像文字,保留原文布局,支持60+语言。
实时语音、聊天和文档翻译,支持多语言,含AI会议记录等功能。
支持20多个AI模型的聚合翻译工具,可对翻译结果进行多模型侧边栏对比与润色。
Xai
$1.4
Input tokens/M
$3.5
Output tokens/M
2k
Context Length
Anthropic
$105
$525
200
Google
$0.7
$2.8
1k
$7
$35
$2.1
$17.5
$21
Alibaba
-
Baidu
128
$6
$24
256
$8
$240
52
Bytedance
$1.2
$3.6
4
$2
$3.9
$15.2
64
Sunbird
Sunflower-32B是由Sunbird AI开发的多语言大语言模型,专门针对乌干达地区语言优化。基于Qwen 3-32B架构构建,支持31种乌干达语言及英语的翻译和文本生成任务,在乌干达语言翻译准确率方面表现优异。
Sunflower-14B是由Sunbird AI开发的多语言大语言模型,专门针对乌干达语言设计。该模型基于Qwen 3-14B架构构建,支持31种乌干达语言以及英语的翻译和文本生成任务,在多项评估中表现出色。
Mungert
Sarvam AI推出的高级翻译模型,基于Gemma3-4B-IT构建,专为印度22种官方语言的全面文档级翻译而设计。
sarvamai
Sarvam-Translate是Sarvam AI推出的先进翻译模型,专注于印度22种官方语言的文档级翻译,支持长上下文输入和多种内容格式。
FreedomIntelligence
Soundwave是一款突破语音与文本界限的语音转文本模型,仅通过1万小时数据训练就在语音翻译和AIR-Bench语音任务中展现出卓越性能。
gyupro
这是一个韩语到英语的翻译器,基于AIHUB的口语翻译数据集训练。
KETI-AIR-Downstream
基于KETI-AIR/long-ke-t5-base微调的英语到韩语翻译模型,在多个AI Hub数据集上训练,BLEU分数达42.463。
facebook
这是基于fairseq wmt19 transformer移植的英德翻译模型,由Facebook AI Research发布,在WMT19新闻翻译任务上表现优异。
Suppr超能文献的MCP服务,提供文档翻译和中文语义搜索PubMed文献的功能,支持多种文件格式和语言互译,集成到Claude等AI助手使用。
Suppr超能文献提供AI驱动的文档翻译和中文PubMed文献搜索服务,支持多种文档格式翻译和智能文献检索
AI辅助洞察代理是一个MCP代理,能将自然语言问题转化为准确、可解释、可复现的数据洞察。它通过自然语言接口翻译业务问题为SQL查询,提供解释性结果(包括查询语句、指标定义、数据质量),并确保分析的可重复性,旨在弥合业务问题与数据答案之间的鸿沟,提高数据分析效率和透明度。
这是一个Azure Cosmos DB MCP服务器项目,允许LLM(如Claude、VSCODE)直接与Azure Cosmos DB数据库交互,通过自然语言查询数据。
Lara Translate MCP Server是一个基于模型上下文协议(MCP)的翻译服务中间件,为AI应用提供与Lara Translate API的桥梁连接。
AiryLark MCP是一个专业级翻译服务接口,采用三阶段流程确保翻译质量,支持多语言互译和领域术语识别,适用于技术文档、学术论文等专业场景。
Weblate MCP服务器是一个连接AI助手与Weblate翻译管理平台的桥梁,通过自然语言交互实现项目、组件和翻译的全面管理。
免费加密货币新闻API,提供来自200多个来源的实时新闻聚合,无需API密钥,支持AI分析、多语言翻译和历史存档。
AI驱动的Excel翻译工具,支持保留格式和公式的Excel文件多语言翻译,提供CLI、Web应用和MCP集成
多AI提供商JSON翻译工具,支持智能缓存、批量处理和本地化翻译
这是一个让LLM(如Claude)直接与BigQuery数据库交互的服务器,作为AI助手与数据库之间的安全翻译层,支持通过自然语言查询数据而无需手动编写SQL。
基于MCP协议的多语言AI翻译服务,支持长文本处理和自动语言检测
多AI提供商的JSON国际化翻译工具,支持智能缓存和批量处理
MCP-Serve是一个基于MCP协议的多语言翻译服务,提供文本翻译和资源管理功能,支持与AI模型交互扩展能力。
Activepieces是一个开源的自动化工作流平台,旨在替代Zapier。它提供了一个可扩展的、类型安全的TypeScript框架,支持200多种服务的集成,并且具有AI优先、企业级安全、人工干预流程等特点。项目强调开发者友好和社区贡献,支持多语言翻译和自定义模板。