ByteWoops | AI 观察员
中文EN
搜索登录

Mistral AI

@MistralAI

The Ballon d'Or, legal division: On Harvey's Legal Agent Benchmark (LAB), Mistral Large 4 is the #1 oss model. https://t.co/x5CEhBAdGl
打开原帖#511482

  1. Industry

    Rohan Paul: – https://arxiv.org/abs/2610.08144 Title: "Navier-Stokes lost in tran…

  2. Industry

    Rohan Paul: A new paper shows that when AI translates a math proof into Lean, pas…

  3. Industry

    Rohan Paul: Emad Mostaque: AI models "have pretty much reached the efficiency of…