OpenBMB团队开源数学自动形式化框架、数据集与模型MathForm，目标是用Lean4让机器准确读懂并形式化验证数学定理，攻克通用人工智能核心挑战。其关键不是简单翻译自然语言，而是将每个数学概念精准映射到Mathlib库中，为数学与AI交叉研究提供新工具。
深圳理工大学宣布2026级新生将进入实验班，逐步取消大学英语公共必修课，代之以跨文化交流课程。教务长赵伟指出，AI工具已能快速完成传统英语的死记硬背和翻译，教改旨在反思AI时代的外语教学，转向培养难以被机器替代的跨文化沟通能力。
腾讯搜狗输入法发布20.0版本，宣布全面AI化，从工具升级为智能助手。新版本基于大模型重塑交互逻辑，在语音、打字、翻译三大高频场景实现底层技术升级，核心提升在于更准、更快、更聪明。
汇丰银行与AI公司Mistral合作，引入先进AI工具提升业务效率，重点优化多语言文档处理、翻译及文件分析等内部流程，以技术创新推动运营升级。
Dubly.AI是一款支持40+语言的高质量AI视频翻译与唇形同步工具。
支持20多个AI模型的聚合翻译工具，可对翻译结果进行多模型侧边栏对比与润色。
支持Windows和Mac，可校正语法、优化风格、翻译文本的AI工具
一个免费的无限制 AI 文档翻译工具，完美保留原始布局。
Xai
$1.4
Input tokens/M
$3.5
Output tokens/M
2k
Context Length
Google
$2.1
$17.5
1k
$0.7
$2.8
Alibaba
-
$6
$24
256
$8
$240
52
Bytedance
$1.2
$3.6
4
Moonshot
$4
$16
Deepseek
$12
128
Baidu
AI驱动的Excel翻译工具，支持保留格式和公式的Excel文件多语言翻译，提供CLI、Web应用和MCP集成
多AI提供商JSON翻译工具，支持智能缓存、批量处理和本地化翻译
多AI提供商的JSON国际化翻译工具，支持智能缓存和批量处理
%20--%3e%3cdefs%3e%3cstyle%3e%20.st0%20{%20fill:%20%23061b40;%20}%20.st1%20{%20fill:%20%23306af1;%20}%20.st2%20{%20fill:%20%235ce5cf;%20}%20%3c/style%3e%3c/defs%3e%3cg%3e%3cpath%20class='st0'%20d='M55,10.5h9v3h-9v9h12V7.5h-12v3ZM64,19.5h-6v-3h6v3Z'/%3e%3cpolygon%20class='st0'%20points='69%2016.5%2078%2016.5%2078%2019.5%2069%2019.5%2069%2022.5%2081%2022.5%2081%2013.5%2072%2013.5%2072%2010.5%2081%2010.5%2081%207.5%2069%207.5%2069%2016.5'/%3e%3cpolygon%20class='st0'%20points='95%2010.5%2095%207.5%2083%207.5%2083%2022.5%2095%2022.5%2095%2019.5%2086%2019.5%2086%2016.5%2095%2016.5%2095%2013.5%2086%2013.5%2086%2010.5%2095%2010.5'/%3e%3cpath%20class='st0'%20d='M40,1.5v21h11.6l1.4-1.4v-7.6h0c0,0-1.4-1.5-1.4-1.5l1.4-1.4V2.9l-1.4-1.4h-11.6ZM50,19.5h-7v-6h7v6ZM50,10.5h-7v-6h7v6Z'/%3e%3c/g%3e%3cpath%20class='st1'%20d='M23.1,24L14.7,4.8l-4.9,11.2h3.8l-1.8,4H3.3L12.1,0H2C.9,0,0,.9,0,2v20c0,1.1.9,2,2,2h21.1Z'/%3e%3cpath%20class='st2'%20d='M34,0h-16.8l10.6,24h6.2c1.1,0,2-.9,2-2V2C36,.9,35.1,0,34,0ZM32.5,20h-4V4h4v16Z'/%3e%3c/svg%3e)
Join Now
