内容持续更新中
欧洲人工智能企业Mistral AI近日正式推出面向数学形式化证明的专用模型Leanstral 1.5。该模型专为Lean4 程序语言打造,总参数规模达119B,但实际推理时仅激活6B参数,以极低的计…