相关推荐
法国凭借低价电力在 AI 竞争中脱颖而出
在G7峰会上,法国AI公司Mistral AI的CEO Arthur Mensch指出,法国凭借大规模核电带来的丰富且低成本电力,在AI竞争中具备优势。法国是欧洲主要电力出口国,去年向意大利、德国、比利时净出口92太瓦时电力。他强调电力是驱动人工智能发展的关键要素。
2026年7月15号 16:07
177.9k
DeepSeek完成74亿美元融资,梁文锋身家升至360亿美元
梁文锋因DeepSeek完成74亿美元融资,净资产暴增至360亿美元,跃升全球AI首富,超越Anthropic和OpenAI的创始人。DeepSeek估值达500亿美元,创AI模型企业融资纪录。
2026年7月14号 16:56
208.0k
吸金 20 亿美元!MiniMax完成 160 亿港元新一轮融资,获超 7 倍超额认购
MiniMax完成160亿港元(超20亿美元)融资,将投入AI基础设施、前沿模型研发与全球商业化扩张。本轮融资国际反响热烈,最终规模超出原计划的18亿美元。
2026年7月10号 10:42
276.4k
降低数学科研门槛:Mistral AI 发布开源模型 Leanstral 1.5
Mistral AI发布专为Lean4设计的开源模型Leanstral1.5,采用Apache-2.0许可。该模型总参数119B,仅6B激活参数,兼顾高性能与低成本。在miniF2F形式数学基准中,验证集和测试集均达100%完成率,并已挑战Putnam等高难度推理任务。
2026年7月6号 17:44
197.7k
Mistral AI开源数学证明利器:119B参数只激活6B,解题成本仅为竞品百分之一
欧洲Mistral AI推出数学形式化证明模型Leanstral 1.5,专为Lean4语言,总参数119B但推理仅激活6B,以极低开销和Apache-2.0许可完全开源。在miniF2F基准上验证集和测试集均达100%完成率,PutnamBench同样表现惊人。
2026年7月6号 17:06
203.3k
