跳到正文

#开源生态

今日 2 条
4月16日周四
  1. Google Research49

    Google Research 用 AI 生成的合成神经元加速大脑图谱绘制

    Google Research 推出 MoGen 模型,通过生成合成神经元形态增强 PATHFINDER 重建模型的训练数据,使小鼠轴突重建错误率降低 4.4%。该成果将在 ICLR 2026 发表,在完整小鼠脑规模上相当于节省 157 人年的人工校对工作。MoGen 已作为开源模型发布,是首次将现代生成式 AI 用于提升连接组重建的当前最优方法。

3月17日周二
  1. Mistral AI70

    Mistral 发布开源 Lean 4 代码智能体 Leanstral

    Mistral 发布面向 Lean 4 的开源代码智能体 Leanstral,模型为 Leanstral-120B-A6B,采用高稀疏架构和 6B 激活参数,权重以 Apache 2.0 许可开放。

    推荐理由:原文给出 Apache 2.0 权重、Mistral Vibe 与免费 API 入口,并用 FLTEval 展示其在 Lean 4 证明工程中的成本和性能位置。

2月5日周四
12月3日周三
  1. Mistral AI91

    Mistral AI 发布 Mistral 3 模型家族,含 Mistral Large 3 与 Ministral 3

    Mistral AI 发布下一代 Mistral 3 模型家族,包含 3B、8B、14B 的 Ministral 3 稠密模型,以及 41B active、675B 总参数的稀疏 MoE 模型 Mistral Large 3,全部采用 Apache 2.0 许可。

    推荐理由:官方同时给出模型规格、开源许可、部署平台和基准位置,便于读者按端侧到数据中心的不同场景选型。

7月11日周五
6月10日周二
5月21日周三
1月30日周四