跳到正文

全部动态

今日 34 条
7月3日周五
7月2日周四
  1. Mistral AI62

    Mistral 发布 Apache-2.0 开源模型 Leanstral 1.5,6B 激活参数聚焦形式化证明

    Mistral 发布 Leanstral 1.5,Apache-2.0 许可,总参数 119B、激活 6B,主打 Lean 4 形式化证明工程。模型饱和 miniF2F,解出 587/672 PutnamBench 问题,在 FATE-H 达 87%、FATE-X 达 34%;经 mid-training、SFT 和 CISPO 强化学习三阶段训练。

    推荐理由:原文给出基准成绩、成本对比和真实代码验证案例,读者可以据此评估开源形式化推理模型的实用边界。

7月1日周三
6月30日周二
  1. Hugging Face Blog42

    为什么 AI 专业化是必然的

    Dharma AI 解读 Goldfeder、Wyder、LeCun 与 Shwartz-Ziv 2026 年的论文《AI Must Embrace Specialization via Superhuman Adaptable Intelligence》,论证专业化是 AI 系统的必然方向。

  2. Google Research63

    Google 发布表格数据零样本基础模型 TabFM

    Google Research 发布面向表格数据分类与回归的零样本基础模型 TabFM,将表格预测重构为上下文学习问题,免去人工训练、调参和特征工程。

    推荐理由:官方介绍了把表格预测重构为上下文学习问题的模型设计、合成数据训练方式和 TabArena 基准结果,读者可据此评估其对传统表格机器学习流程的影响。

6月29日周一
  1. Import AI50

    Import AI 463:NVIDIA 打造自我改进机器人框架 ENPIRE;万字中国 GPU 集群;人类时代的挽歌

    NVIDIA 研究人员开发 ENPIRE 框架,让物理机器人像编码智能体一样自主实验与迭代改进策略。系统用两台 YAM 机械臂和 RTX 5090 工作站组成闭环,自动评估与重置场景,GPT-5.5(Codex)和 Opus 4.7(Claude Code)表现最佳,在 PushT 等灵巧操作任务上达到 99% 成功率,8 个智能体并行有时获得更高分数。

6月27日周六
6月26日周五
  1. Hugging Face Blog66

    Hugging Face 教你一条命令在 HF Jobs 上运行 vLLM 服务器

    Hugging Face 发布教程,用一条 hf jobs run 命令即可在 HF 基础设施上启动私有 OpenAI 兼容的 vLLM 端点,无需配置服务器或 Kubernetes,按秒计费(a10g-large 为 $1.50/hour)。

    推荐理由:官方教程给出一条命令在 HF Jobs 上起 vLLM 服务的完整路径,含定价、权限、SSH 调试和接 coding agent 等可复用细节。

6月25日周四
6月24日周三
6月23日周二
  1. Mistral AI68

    Mistral 发布 OCR 4,新增边界框、块分类与置信度分数,支持 170 种语言

    Mistral 发布 Mistral OCR 4,除文本外返回边界框、分类型块(标题、表格、公式、签名等)和逐页逐词置信度分数,支持 10 个语系下 170 种语言。

    推荐理由:官方公布了能力细节、定价和基准方法论,还主动列出自动评测的打分缺陷,读者可据此判断在自己场景中怎么用。

  2. Hugging Face Blog68

    Hugging Face 讲解如何用开源模型和 GitHub Actions 把 huggingface_hub 改为每周发布

    Hugging Face 在官方博客详解如何把 huggingface_hub 的发布节奏从每 4 到 6 周一次提升到每周一次,整条流程跑在一个 GitHub Actions 工作流里,使用开源工具、开源权重模型(当前为 Z.ai 的 GLM-5.2)和 HF Inference Providers,单次发布的模型成本约 $0.25。

    推荐理由:Hugging Face 官方复盘自身发布流水线,给出可复用的确定性校验加人工把关模式,其他开源维护者可以照搬适配。

6月22日周一