#オープンソース

13件の記事

最新動向

Mistral、バグを見つけるAI「Leanstral 1.5」公開

仏Mistral AIが形式検証AIモデル「Leanstral 1.5」をオープンソースで公開した。数学的な証明を使いソフトウエアの動作を検証し、既存の公開コードから未知のバグを複数発見した。

最新動向

AI支出が「使い放題」から効率へ。OpenAI・Anthropicに逆風

企業のAI支出が「とにかく多く使う」段階から効率重視へ転換している。CNBCが6月26日に報じた。UberはAIツールに月1500ドルの上限を設け、年間予算を4カ月で使い切った。安いオープンモデルへの流出も始まり、上位2社の成長鈍化が懸念される。

最新動向

DeepSeek、V4-Proの値下げを恒久化。入力100万0.44ドル

中国DeepSeekは6月、V4-Proの75%値下げを恒久化した。入力100万トークン0.44ドル、出力0.87ドルで、GPT-5.5より入力で5倍超、出力で17倍安い。量の多い処理での費用計算を大きく変える価格水準になった。

最新動向

仏Mistral、30億ユーロ調達交渉。欧州AIの軸に

フランスのMistral AIが、企業価値200億ユーロで30億ユーロの調達を交渉中と報じられた。年換算売上は4億ドル規模、年末に10億ドルを目標とする。米中の巨大企業に対する欧州の選択肢として、AIの調達先を分散したい企業に関わる動きだ。

最新動向

EU、自前の最先端AIを選定。24言語対応の主権モデルへ

欧州委員会は、最先端AIの開発を競うFrontier AI Grand Challengeの勝者に、イタリア企業Domyn率いるEUROPA連合を選んだ。EU24言語に対応する4,000億パラメータ超のオープンソースモデルを、欧州の計算基盤で開発する。

最新動向

Kimi K2.7 Code公開、1兆パラメータの無償コーディングAI

Moonshot AIが6月12日、コーディング特化のオープンソースモデルKimi K2.7 Codeを公開。1兆パラメータ構成で前世代から性能を最大31.5%改善し、推論トークンを3割減らした。商用利用可能なライセンスで提供される。

ツール比較・レビュー

Gemma 3とは?GoogleのオープンSLMをビジネスで活用する

Googleが公開するオープン言語モデルGemma 3は、1Bから27Bまでのラインナップと画像処理対応が特徴。社内文書要約・FAQ・翻訳補助など、データを外に出せないビジネス用途での活用方法を解説します。

ツール比較・レビュー

Llama 3.2小型版:MetaのSLMをビジネスで活用する方法

MetaのLlama 3.2は1B・3B・11B・90Bのラインナップを持つオープン言語モデル。1B・3Bモデルは一般的なPCで動き、日本語追加学習モデルを使えば社内ツールへの組み込みも現実的になる。ライセンス上の注意点も解説。

ツール比較・レビュー

Phi-4 MiniとはMicrosoftのSLMをビジネスで選ぶ理由

MicrosoftのPhi-4 Miniは3.8Bパラメータの軽量言語モデルで、ローカル環境でもAzure上でも動く。商用利用が許可されたライセンスとWindowsとの親和性から、社内ツールへの組み込みに向いている。

最新動向

Google、Gemma 4 12Bを公開。16GBノートPCで動くマルチモーダルLLM

Googleが2026年6月3日にオープンソースのGemma 4 12Bをリリース。16GB VRAMのノートPCで画像・音声・テキストを処理できるマルチモーダルモデルで、Apache 2.0ライセンスで商用利用可能。企業の機密データをクラウドに送らずローカル処理できる点が注目される。