跳到正文

#推理

今日 24 条
4月3日周五
3月25日周三
3月17日周二
  1. Google Research60

    Google Research 与高校评估六款 LLM 回答高温超导研究问题的能力

    Google Research 联合 Cornell University 等机构发表 PNAS 论文,评估六款 LLM 回答高温超导专家级问题的能力。专家围绕 67 个问题按 0 到 2 分盲评,NotebookLM 和使用相同精选来源的定制 RAG 系统总体表现最好。开放联网模型更容易混合成熟理论与高度推测性理论,所有受测系统还存在时间与语境理解、论文召回、表格和图像理解不足。

    推荐理由:研究用专家盲评比较开放联网模型与封闭可信资料库系统,为科研场景中的知识准确性和证据引用提供参照。

  2. 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 证明工程中的成本和性能位置。

3月13日周五
  1. Berkeley AI Research47

    面向 LLM 的规模化交互识别:SPEX 与 ProxySPEX

    Berkeley AI Research 提出 SPEX 与 ProxySPEX,用于在大规模特征、训练数据和模型组件中识别影响 LLM 输出的关键交互。SPEX 借助稀疏性、低阶性及信号处理方法,将交互发现转化为稀疏恢复问题;ProxySPEX 进一步利用层级结构,以约 10x 更少的消融达到与 SPEX 相当的性能。

1月22日周四
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 许可。

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

9月1日周一
  1. Berkeley AI Research48

    word2vec 究竟学到了什么?新研究给出定量理论

    Berkeley AI Research 新论文证明,在现实条件下 word2vec 的学习问题可归约为无加权最小二乘矩阵分解,梯度流动态有闭式解,最终表示等价于对目标矩阵 M* 做 PCA。从小初始化训练时,word2vec 以离散、顺序步骤学习正交线性子空间,每步提升嵌入矩阵秩并降低损失,特征可由语料共现统计预先算出。

7月23日周三
7月17日周四
  1. Mistral AI72

    Mistral AI 为 Le Chat 推出 Deep Research、语音模式、Projects 与图像编辑等功能

    Mistral AI 为 Le Chat 发布多项新功能,包括 Deep Research 预览模式、基于 Voxtral 的语音模式、由 Magistral 驱动的多语言 Think 模式、Projects 文件夹,以及与 Black Forest Labs 合作的高级图像编辑。

    推荐理由:官方一次性说明 Le Chat 在研究、语音、推理、项目管理和图像编辑上的能力扩展,可用于对比通用 AI 助手的功能演进。

6月10日周二
5月7日周三