关闭导航

包含标签"数学推理"的内容

小米2025年4月开源推理大模型Xiaomi MiMo7B参数性能领先竞品

(注:标题共24字,涵盖核心信息:主体小米、时间节点、事件开源、模型名、参数及优势)
AI妹 4 个月前 12 0

2025年4月30日,小米公司宣布开源其首个为推理(Reasoning)而生的大模型「Xiaomi MiMo」。这一模型的发布标志着小米在人工智能领域迈出了重要的一步,特别是在推理能力的提升上取得

小米2025年4月开源推理大模型MiMo-7B 性能领先多款同/大参数模型
AI妹 4 个月前 14 0

2025年4月30日,小米公司宣佈開源其首個爲推理(Reasoning)而生的大模型「Xiaomi MiMo」。這一模型的發佈標誌着小米在人工智能領域邁出了重要的一步,特別是在推理能力的提升上取得

小米发布首个针对推理的开源大模型MiMo 性能超同类全系列开源
AI妹 4 个月前 14 0

全球知名科技公司小米正式发布其首个针对推理(Reasoning)而生的大型开源模型 ——Xiaomi MiMo。该模型旨在解决当前预训练模型在推理能力上的瓶颈,探索如何更有效地激发模型的推理潜能。

小米推出開源推理大模型MiMo 7億參數性能領先同類模型
AI妹 4 个月前 15 0

全球知名科技公司小米正式發佈其首個針對推理(Reasoning)而生的大型開源模型 ——Xiaomi MiMo。該模型旨在解決當前預訓練模型在推理能力上的瓶頸,探索如何更有效地激發模型的推理潛能。

小米MiMo-7B开源推理大模型:轻量架构强化学习性能超32B模型
AI妹 4 个月前 25 0

小米正式在Hugging Face平臺發佈其首個專爲推理(Reasoning)設計的開源大模型——MiMo-7B。據AIbase瞭解,MiMo-7B通過從預訓練到後訓練的強化學習(RL)優化,展現

DeepSeek发布6710亿参数开源数学推理模型 推动全球AI研究与应用
AI妹 4 个月前 15 0

中国 AI 初创公司 DeepSeek 再次掀起开源 AI 领域的热潮,正式发布其最新开源模型 DeepSeek-Prover-V2-671B。这一拥有6710亿参数的超大规模语言模型,专为数学推

中国AI初创公司DeepSeek发布6710亿参数开源数学推理模型掀全球AI热潮
AI妹 4 个月前 15 0

中國 AI 初創公司 DeepSeek 再次掀起開源 AI 領域的熱潮,正式發佈其最新開源模型 DeepSeek-Prover-V2-671B。這一擁有6710億參數的超大規模語言模型,專爲數學推

Harmonic推出亚里士多德AI聊天机器人 数学推理无幻觉并获1亿B轮融资
AI妹 4 个月前 14 0

Harmonic 是一家由 Robinh ood CEO 弗拉德・特涅夫(Vlad Tenev)共同创办的人工智能初创公司,近日宣布推出其 iOS 和 Android 平台的 AI 聊天机器人应用

Harmonic推出亚里士多德AI机器人 数学推理无幻觉并获1亿B轮融资
AI妹 4 个月前 15 0

Harmonic 是一家由 Robinh ood CEO 弗拉德・特涅夫(Vlad Tenev)共同創辦的人工智能初創公司,近日宣佈推出其 iOS 和 Android 平臺的 AI 聊天機器人應用

DeepSeek-Prover-V2:数学推理新突破,AGI关键一步及ProverBench数据集发布
AI妹 4 个月前 14 0

在人工智能领域,最近一项重磅技术发布引发广泛关注 ——DeepSeek-Prover-V2。这一模型不仅在推理性能上取得了显著提升,还被誉为通向人工通用智能(AGI)的关键一步。DeepSeek-