Mistral、バグを見つけるAI「Leanstral 1.5」公開
仏Mistral AIが形式検証AIモデル「Leanstral 1.5」をオープンソースで公開した。数学的な証明を使いソフトウエアの動作を検証し、既存の公開コードから未知のバグを複数発見した。
13件の記事
仏Mistral AIが形式検証AIモデル「Leanstral 1.5」をオープンソースで公開した。数学的な証明を使いソフトウエアの動作を検証し、既存の公開コードから未知のバグを複数発見した。
企業のAI支出が「とにかく多く使う」段階から効率重視へ転換している。CNBCが6月26日に報じた。UberはAIツールに月1500ドルの上限を設け、年間予算を4カ月で使い切った。安いオープンモデルへの流出も始まり、上位2社の成長鈍化が懸念される。
中国DeepSeekは6月、V4-Proの75%値下げを恒久化した。入力100万トークン0.44ドル、出力0.87ドルで、GPT-5.5より入力で5倍超、出力で17倍安い。量の多い処理での費用計算を大きく変える価格水準になった。
フランスのMistral AIが、企業価値200億ユーロで30億ユーロの調達を交渉中と報じられた。年換算売上は4億ドル規模、年末に10億ドルを目標とする。米中の巨大企業に対する欧州の選択肢として、AIの調達先を分散したい企業に関わる動きだ。
欧州委員会は、最先端AIの開発を競うFrontier AI Grand Challengeの勝者に、イタリア企業Domyn率いるEUROPA連合を選んだ。EU24言語に対応する4,000億パラメータ超のオープンソースモデルを、欧州の計算基盤で開発する。
Moonshot AIが6月12日、コーディング特化のオープンソースモデルKimi K2.7 Codeを公開。1兆パラメータ構成で前世代から性能を最大31.5%改善し、推論トークンを3割減らした。商用利用可能なライセンスで提供される。
Googleが公開するオープン言語モデルGemma 3は、1Bから27Bまでのラインナップと画像処理対応が特徴。社内文書要約・FAQ・翻訳補助など、データを外に出せないビジネス用途での活用方法を解説します。
MetaのLlama 3.2は1B・3B・11B・90Bのラインナップを持つオープン言語モデル。1B・3Bモデルは一般的なPCで動き、日本語追加学習モデルを使えば社内ツールへの組み込みも現実的になる。ライセンス上の注意点も解説。
MicrosoftのPhi-4 Miniは3.8Bパラメータの軽量言語モデルで、ローカル環境でもAzure上でも動く。商用利用が許可されたライセンスとWindowsとの親和性から、社内ツールへの組み込みに向いている。
かつてはAPIサービス一択だった企業AI導入が変わりました。コスト・プライバシー・カスタマイズの3つの軸でオープンソースSLMの優位性を整理し、課題と今後の展望も解説します。
Phi・Gemma・Llama・Mistralなどオープンソースのスモール言語モデルを比較。商用ライセンスの確認方法、日本語対応・サイズ・精度で選ぶ4つの基準、HuggingFaceの使い方、導入リスクまでを整理する。
n8nはオープンソースのワークフロー自動化ツール。セルフホストでデータを外部に出さず使え、500以上のインテグレーションを持つ。Zapierとの違い・料金・具体的な使い方を解説します。
Googleが2026年6月3日にオープンソースのGemma 4 12Bをリリース。16GB VRAMのノートPCで画像・音声・テキストを処理できるマルチモーダルモデルで、Apache 2.0ライセンスで商用利用可能。企業の機密データをクラウドに送らずローカル処理できる点が注目される。