开源模型能把数学竞赛题解到这种程度，每题成本才4美元，感觉闭源商业模型的定价逻辑要重新算了

币界网消息，Mistral开源的Leanstral 1.5模型每题解题成本约为4美元，模型总参数量达到1190亿，激活参数约65亿，采用Apache-2.0协议，并提供免费API访问。官方评测显示，Leanstral 1.5在Putnambench 672道题中解出587道在抽象代数基准Fate-H和Fate-X上分别达到87%和34%，刷新同类模型最佳表现。此外，Leanstral 1.5还被用于代码验证，团队在57个开源Rust仓库中发现11个真实bug，其中5个此前未被报告。