軽量かつ高速！注目のAIモデル「Leanstral 1.5」が登場

「Leanstral 1.5」がリリースされました。詳細については現在公開を待っている状態です。

Leanstral 1に関する議論はこちら: https://news.ycombinator.com/item?id=47404796 (https://news.ycombinator.com/item?id=47404796)

ぶっちゃけ聞くけど、Mistralを使ってる人って、どんな客観的な指標で比べても性能が一番良いから使ってるの？それとも「EU発だから」っていう理由だけで使われてる？質問の答えだけに集中してほしいんだけど、厳密な環境の客観的な指標で、他のモデルより優れてるのを確認できた人っているのかな。

これって定理の証明だけじゃなくて、プログラムの仕様記述にも使えるの？