RecodeX 重构消息,Mistral发布Apache 2许可的119B参数模型Mistral Small 4,整合推理、多模态和代理编码能力,并推出针对Lean 4语言的Leanstral模型。