Mistral AI

@MistralAI

Gmail。Google Sheets。Slack。Salesforce。 也就是周一的“四骑士”。 在 AutomationBench 上,Mistral Large 4 在模拟办公应用中完成了 657 个业务工作流(以上四款应用全部涵盖),成绩领先 Kimi K3、MiMo-V2.6-Pro 和 DeepSeek V4 Pro。
打开原帖#511482
  1. 产业

    Rohan Paul:– https://arxiv.org/abs/2610.08144 标题…
  2. 产业

    Rohan Paul:一篇新论文表明,当 AI 把一个数学证明翻译成 Lean 时,通过 Lea…
  3. 产业

    Rohan Paul:Emad Mostaque:AI 模型“基本上已经达到了人脑的效率”