相关推荐
降低数学科研门槛:Mistral AI 发布开源模型 Leanstral 1.5
Mistral AI发布专为Lean4设计的开源模型Leanstral1.5,采用Apache-2.0许可。该模型总参数119B,仅6B激活参数,兼顾高性能与低成本。在miniF2F形式数学基准中,验证集和测试集均达100%完成率,并已挑战Putnam等高难度推理任务。
2026年7月6号 17:44
142.4k
Mistral AI开源数学证明利器:119B参数只激活6B,解题成本仅为竞品百分之一
欧洲Mistral AI推出数学形式化证明模型Leanstral 1.5,专为Lean4语言,总参数119B但推理仅激活6B,以极低开销和Apache-2.0许可完全开源。在miniF2F基准上验证集和测试集均达100%完成率,PutnamBench同样表现惊人。
2026年7月6号 17:06
158.3k
AI机器人来袭!日本计划部署千万台应对劳动力危机
日本公布《人工智能机器人战略》新方针,计划到 2040 年在制造业、医疗、农业等 18 个行业部署 1000 万台 AI 机器人,以系统性应对少子老龄化引发的劳动力危机。
2026年7月6号 9:47
150.8k
阿里巴巴内部“反向禁用”:全面下架 Claude 系列 AI 工具
阿里巴巴内部发文,要求员工停止使用 Anthropic Claude 全系产品,包括 Sonnet、Opus、Fable 等模型及 Claude Code 等智能体工具,最后期限为 7 月 10 日。此举与公司年初开放 AI 使用、提供内部模型免费额度并报销外部模型的政策形成对比,预示着其在 AI 工具策略上的收紧和向自研体系的回归。
2026年7月3号 14:24
366.3k
AI 成本失控警报:大厂相继祭出“限流令”,旗舰模型成了“奢侈品”
全球科技企业掀起AI成本控制潮,Atlassian、Adobe、亚马逊等巨头纷纷禁止员工使用昂贵的旗舰AI模型,强制转向低价替代方案。主因是供应商将收费模式从固定年费改为按量计费,导致调用成本急剧失控,行业寒意蔓延。
2026年7月3号 9:52
238.0k
