在开源大模型赛道,欧洲之光
当地时间3月16日,

核心参数: 总参数量为119B,激活参数仅为6B,在保证性能的同时极大优化了运行效率。
超长视野: 拥有 256k 的超长上下文窗口,能够轻松处理整本技术文档或大规模代码库。
灵活模式: 支持快速响应与深度推理两种模式,并以 Apache2.0协议 正式开源,诚意十足。
在性能表现上,
部署门槛与硬件建议:
为了发挥该模型的最大威力,
随着
在开源大模型赛道,欧洲之光
当地时间3月16日,

核心参数: 总参数量为119B,激活参数仅为6B,在保证性能的同时极大优化了运行效率。
超长视野: 拥有 256k 的超长上下文窗口,能够轻松处理整本技术文档或大规模代码库。
灵活模式: 支持快速响应与深度推理两种模式,并以 Apache2.0协议 正式开源,诚意十足。
在性能表现上,
部署门槛与硬件建议:
为了发挥该模型的最大威力,
随着
欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南,每天我们为你呈现AI领域的热点内容,聚焦开发者,助你洞悉技术趋势、了解创新AI产品应用。
Mistral AI发布专为Lean4设计的开源模型Leanstral1.5,采用Apache-2.0许可。该模型总参数119B,仅6B激活参数,兼顾高性能与低成本。在miniF2F形式数学基准中,验证集和测试集均达100%完成率,并已挑战Putnam等高难度推理任务。

欧洲Mistral AI推出数学形式化证明模型Leanstral 1.5,专为Lean4语言,总参数119B但推理仅激活6B,以极低开销和Apache-2.0许可完全开源。在miniF2F基准上验证集和测试集均达100%完成率,PutnamBench同样表现惊人。
AI编程领域格局生变:众厂恋战L2代码补全,AIGCode以全栈方案谋求代际跃升。其核心洞察是大模型之殇在基座而非微调,借AutoCoder.cc剑指L3级自主编程。
谷歌Gemini 3.5 Pro原定6月发布却跳票,期间多位核心AI研究员离职投奔对手,团队士气低落。现确认7月17日正式亮相,正好撞上国产大模型DeepSeek V4预计的7月中旬发布时间,两家中外旗舰模型将正面交锋,上演硬碰硬对决。
通义千问推出实时语音识别模型Fun-ASR-Realtime,首字延迟降至百毫秒级,实现“即说即反馈”的流畅交互。其识别准确度接近离线模型,在保证高精度同时突破实时性瓶颈,标志语音交互体验迈向新高度。
在人工智能产业爆发式增长的推动下,全球存储芯片巨头SK海力士计划本周在美国纳斯达克启动上市,预计筹资280亿美元,有望成为史上第二大IPO。此次上市将发行存托凭证(ADR),每10份ADR兑1股普通股,最终条款本周敲定。
Deep Code开源终端编程助手因深度适配DeepSeek-V4系列模型受关注,主打高质量推理与代码生成。历经迭代至v0.1.31版,功能趋于成熟,支持VS Code插件模式,为开发者提供新的辅助选择。

复旦大学数据挖掘课期末考变身“出题人大赛”:学生需自创10道带唯一答案的计算题,让AI解答。得分规则反转:AI答错越多,学生成绩越高,以此激励学生深入掌握知识、设计高难度题目,检验AI短板,实现教学创新。
Google旗舰大模型Gemini3.5Pro将于7月17日发布,恰逢DeepSeek V4亮相,双雄对决引人注目。该模型原定6月推出,延期并非技术问题,而是团队出于战略考量进行了调整。
消息称AI公司Anthropic计划在澳大利亚投资150亿美元,建设至少1.4GW的数据中心算力,目标在2027年底前启用至少1GW资源,规模远超此前预期。