编辑
2025-05-06
Brief News
00

A lone AI entity glowing with intricate circuits, standing in a vast digital landscape of floating data streams and neon fractals, its form constantly evolving and expanding with pulsating energy, surrounded by s.jpg

DeepSeek-Prover-V2发布,数学推理能力显著提升

简报:

  • DeepSeek团队发布了DeepSeek-Prover-V2模型,包含7B和671B两种参数规模版本。
  • 671B版本基于DeepSeek-V3-Base训练,在MiniF2F-test数据集上达到88.9%通过率。
  • 7B版本支持32K token上下文长度,在某些问题上表现优于671B版本。
  • 模型采用递归定理证明管道和强化学习技术,将复杂问题分解为子目标进行推理。
  • 团队同时发布了ProverBench基准数据集,包含325个形式化数学问题。
  • 模型已在Hugging Face和GitHub开源,技术报告同步发布。
Prover /ˈpruː.vər/
n. 证明器
"DeepSeek-Prover-V2 model adopts recursive theorem proving pipeline."
[例句] DeepSeek-Prover-V2模型采用递归定理证明管道。
词根分析
prov-
证明
-er
执行者
衍生词
prove (v.) 证明
proof (n.) 证据
编辑
2025-04-29
Brief News
00

outputs_20250429_17opwibekn.png

阿里通义千问 Qwen3 系列模型正式发布

简报:

  • Qwen3 系列模型包括 Qwen3-4B-Base、Qwen3-1.7B、Qwen3-0.6B 及 Qwen3-30B-A3B-Base 四款模型,采用 Apache License 2.0 开源协议。
  • Qwen3-4B、Qwen3-1.7B 和 Qwen3-0.6B 分别对应 40 亿、17 亿和 6 亿参数,推测为单架构稠密模型,主打轻量化应用场景。
  • Qwen3-30B-A3B-Base 为 MoE 架构基础模型,总参数 300 亿(30B)中动态调用 30 亿(3B)参数处理任务。
  • Qwen3 支持高达 256K 的上下文长度,涵盖推理与非推理任务。
Dense /dens/
adj. 稠密的
"Qwen3-4B, Qwen3-1.7B and Qwen3-0.6B are all dense architecture models."
[例句] Qwen3-4B、Qwen3-1.7B和Qwen3-0.6B均为稠密架构模型。
词根分析
dens-
浓密
-e
形容词后缀
衍生词
density (n.) 密度
densely (adv.) 稠密地
编辑
2025-04-24
News
00

5分钟,520公里:这速度有点“神”

宁德时代又整了个大新闻!他们家的“神行”超充电池迎来第二代,这回直接把电动车充电速度卷到了新高度。官方数据是,充电5分钟,续航增加超过520公里——这可不是实验室里的理想参数,而是实打实的技术突破。想想看,一杯咖啡还没喝完,你的电动车就能满血复活,继续狂奔,这感觉怎么样?

202504240918020107f86e03cb41db_0.jpg

5 Minutes, 520 Kilometers: This Speed is a Bit "Godly" 🤯

CATL has dropped another bombshell! Their "Shenxing" (神行) superfast charging battery has ushered in its second generation, directly pushing the charging speed of electric vehicles to a new level. Official data shows that a 5-minute charge can add more than 520 kilometers of range – this isn't just an ideal parameter in the lab, but a real technological breakthrough. Think about it, before you even finish a cup of coffee, your electric car can be fully recharged and continue to sprint. How does that feel? 🤩


编辑
2025-04-24
Brief News
00

outputs_20250424_4x7ioqx2ot.jpeg

OpenAI考虑收购Chrome浏览器

简报: OpenAI的ChatGPT产品负责人Nick Turley在谷歌反垄断庭审中表示,如果法院裁定谷歌必须剥离Chrome浏览器,OpenAI将有兴趣收购该产品。美国司法部此前建议谷歌出售Chrome以恢复搜索市场竞争,法官预计将在8月前作出最终裁决。

Antitrust /ˈæn.ti.trʌst/
adj. 反垄断的
"The U.S. Department of Justice suggested Google sell Chrome to restore competition in the antitrust case."
[例句] 美国司法部建议谷歌出售Chrome以恢复反垄断案件中的竞争。
词根分析
anti-
反对
trust
托拉斯
衍生词
antitrust laws (n.) 反垄断法
编辑
2025-04-23
News
00

医疗新突破!谷歌AI碾压医生,诊断准确率惊人!

🤯 Medical Breakthrough! Google AI Crushes Doctors with Astonishing Diagnostic Accuracy! 🚀

谷歌AI"妙手":诊断能力超越医生,医疗迎来AI新纪元

AI看病靠谱吗?谷歌最新发布的AI系统AMIE(Articulate Medical Intelligence Explorer)似乎给出了肯定的答案。这款专为临床诊断推理打造的AI,在多项关键指标上,已经超越了经验丰富的医生,为医疗领域带来了一场不小的震动。

图片.png