OpenBMB团队开源数学自动形式化框架、数据集与模型MathForm,目标是用Lean4让机器准确读懂并形式化验证数学定理,攻克通用人工智能核心挑战。其关键不是简单翻译自然语言,而是将每个数学概念精准映射到Mathlib库中,为数学与AI交叉研究提供新工具。
8月29日七夕,千问APP联合淘宝闪购推出“送花助手Skill”和“七夕好物推荐测试”,依托大模型覆盖节日送礼全场景。用户@淘宝闪购进入智能体,描述“气质款”等模糊需求,AI从花语翻译、潮流风向、应季推荐、小众高定四维度匹配花束,如为偏好流行款推荐碎冰蓝玫瑰,为天蝎座匹配“坚”字花语。
影石Insta360加速将AI融入硬件,率先为Go Ultra口袋相机新增AI语音助手。该功能按地域区分:港澳台及海外调用谷歌Gemini,中国大陆接入阿里千问,翻译结果可通过机身扬声器播报。合作采用自研核心与大厂模型融合的路线。
谷歌发布Gemini 3.5 Live Translate音频模型,通过实时语音到语音技术实现跨语言沟通突破,已集成至Google AI Studio、翻译和Meet等产品。其核心创新在于追求翻译“自然度”,摒弃传统轮流式翻译模式,旨在打破语言沟通的地理与文化障碍。
支持20多个AI模型的聚合翻译工具,可对翻译结果进行多模型侧边栏对比与润色。
基于DeepSeek R1和V3模型的浏览器侧边栏AI工具,提供问答、创作、翻译等功能
AI字幕翻译工具,支持多种语言模型。
在侧边栏访问最新的AI模型,翻译、搜索定义,创建闪卡并学习 - 一站式解决方案
Openai
$2.8
输入tokens/百万
$11.2
输出tokens/百万
1k
上下文长度
Google
$0.49
$2.1
Xai
$1.4
$3.5
2k
$7.7
$30.8
200
-
Anthropic
$105
$525
$0.7
$7
$35
$17.5
$21
Alibaba
$4
$16
$1
$10
256
$6
$24
$2
$20
Baidu
128
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语音任务中展现出卓越性能。
KETI-AIR-Downstream
基于KETI-AIR/long-ke-t5-base微调的英语到韩语翻译模型,在多个AI Hub数据集上训练,BLEU分数达42.463。
facebook
这是基于fairseq wmt19 transformer移植的英德翻译模型,由Facebook AI Research发布,在WMT19新闻翻译任务上表现优异。
Lara Translate MCP Server是一个基于模型上下文协议(MCP)的翻译服务中间件,为AI应用提供与Lara Translate API的桥梁连接。
MCP-Serve是一个基于MCP协议的多语言翻译服务,提供文本翻译和资源管理功能,支持与AI模型交互扩展能力。