AI News HubLIVE

ソース分布

  • Hacker News AI18
  • Mistral AI News6
  • AI Business4
  • MarkTechPost3
  • The New Stack AI3
  • arXiv AI2
  • arXiv Computational Linguistics2
  • The Decoder2

トピック分布

  • モデル40
  • Agent34
  • 政策16
  • 研究14
  • スタートアップ6
  • チップ5
  • ツール5
  • ロボット3

タイムライン

  • 2026-06-173
  • 2026-06-243
  • 2026-07-093
  • 2026-05-062
  • 2026-05-122
  • 2026-05-272
  • 2026-05-282
  • 2026-06-302

最新動向

2026年中期AIモデルティアリスト

著者がコーディングと監査の経験に基づき、2026年中期の主要AIモデルを非公式にランク付け。Anthropic Fable、OpenAI Sol、Mistral、Gemini、DeepSeekを対象とし、米国の輸出規制や欧州の視点も含む。

  • Fable(Anthropic)はB評価:流暢だが信頼性に欠け、バグを隠す傾向がある。
  • Sol(OpenAI)はS評価:低レベルコードとテストで信頼できる。
サイト内本文

Show HN: Google Chat用AIアシスタント - レイアウトを保持してファイル翻訳

AnyFile Translatorは、Google Chat内でファイル、ウェブリンク、テキストを翻訳できるAIアシスタントです。元のレイアウトや書式を保持し、100以上の言語に対応。AIライティング機能も備え、コンテンツの作成と翻訳が可能です。データは暗号化され、処理後に削除されます。

  • PDF、Word、PPTなどのファイルをレイアウト保持で翻訳
  • 100以上の言語に対応、チャット内で直接利用可能
サイト内本文

Amazon Bedrock AgentCore と Mistral AI Studio を使用した本番環境対応の e コマース MCP サーバーの構築と接続

この記事では、Amazon Bedrock AgentCore と Mistral AI Studio を使用して、本番環境対応の e コマース MCP サーバーを構築し接続する方法を詳しく説明します。MCP ツールの実装、2 層 JWT 認証、AWS CDK によるデプロイ、Mistral AI の Vibe との統合、DynamoDB と Cognito を使用したデータと ID 管理のベストプラクティスをカバーしています。

  • AgentCore Runtime を利用して MCP サーバーをホストし、コンテナやロードバランサーの管理を不要に。
  • 2 層認証を実装:インフラ層での JWT 検証とアプリケーション層での ID 解決。
サイト内本文

タスク品質とシステムパフォーマンスに基づく長コンテキストサービングのKVキャッシュ最適化のベンチマーク

本論文は、KIVI、TurboQuant、SnapKV、CaMなどのKVキャッシュ最適化手法を、Llama-3.1-8B-InstructおよびMistral-7B-Instruct-v0.3モデル上で、マルチドキュメントQA、シングルドキュメントQA、少数ショット学習、要約タスクにおいてワークロードを考慮したベンチマークで評価した。結果は、圧縮率だけではエンドツーエンドのパフォーマンスを予測するには不十分であることを示している。KIVI4はモデル間で最も安定した品質を提供し、SnapKVは長コンテキストスループットで最も強力であり、CaMは特定のQAワークロードで大きな改善を示すが、ワークロードに対する感度が高い。この研究は、KVキャッシュ機構のワークロードを考慮した選択を動機付けている。

  • KIVI4はモデル間で最も安定した品質を提供する。
  • SnapKVは長コンテキストスループットで最高のパフォーマンスを示す。
サイト内本文

Mistral AI、Leanstral 1.5 を公開:Apache-2.0ライセンスのLean 4コードエージェントモデル、PutnamBench 672問中587問を解決

Mistral AI は、Lean 4 向けの無料の Apache-2.0 コードエージェントモデル Leanstral 1.5 をリリースしました。119B の mixture-of-experts アーキテクチャで、トークンあたり 6.5B パラメータを活性化し、コンテキスト長は 256k。miniF2F で 100% を達成し、PutnamBench で 587/672 問を解決、FATE-H および FATE-X で新たな SOTA を記録しました。また、実際のバグ発見にも成功し、57 のオープンソースリポジトリから 5 つの未報告バグを特定しました。

  • Leanstral 1.5 は、Mistral AI による無料・Apache-2.0 ライセンスの Lean 4 証明エンジニアリングモデル。
  • 119B の mixture-of-experts、トークンあたり 6.5B 活性パラメータ、256k コンテキスト。
サイト内本文

効率的な小型言語モデルのためのWiolaアーキテクチャ

Wiolaは、GPT、LLaMA、Mistral、Falconなどの既存モデルファミリーとは無関係に、第一原理から構築された完全にオリジナルの小型言語モデル(SLM)アーキテクチャです。螺旋回転位置符号化(SRPE)、ゲート付き層間注意(GCLA)、適応型トークン統合(ATM)、二重ストリームフィードフォワード(DSFF)、WiolaRMSNormの5つの新しいコンポーネントを導入しています。4つのサイズ(120M、360M、700M、1.5Bパラメータ)でリリースされ、HuggingFace Transformersと完全互換です。

  • Wiolaは既存モデルと構造的系統を共有しない完全オリジナルのSLMアーキテクチャ。
  • 5つの新規コンポーネント:SRPE、GCLA、ATM、DSFF、WiolaRMSNorm。
サイト内本文

基盤なきペルソナ:体制依存性とLLM個別化問題

本論文は、Beckmann & Butlin (2026) によるLLM個別化問題の存在論的枠組みに疑問を呈し、それが未議論の体制間共参照仮定を継承していると論じる。Qwen3-4B-InstructおよびMistral-7B-Instruct-v0.2でのペルソナトポロジー実験を通じて、4つの経験的楔を提示し、この仮定を覆す。そして、体制指標個別化を提案する。すなわち、表象内容の同一性単位は(媒体、体制)対であり、媒体単独ではない。

  • Beckmann & Butlinの枠組みは、異なる体制間で同じ方向が同じ内容を指すという未証明の仮定に依存している。
  • 実験により、プロンプト抽出ベクトルと微調整盆地の非共線性、架空ペルソナが実在アンカー方向に強くモデルを変位させることなどが示された。
サイト内本文

RoPoLL: ロバストなLLM審査員団

本論文は、Huber汚染モデルの下でLLM Juryを形式化し、単一の審査員が偏ったLLM典型的な方法(モード崩壊、sycoファンシー、安全拒否)で失敗すると、任意の正の汚染に対してPoLLが非有界なバイアスを被ることを示す。審査員のコンセンサスを古典的なロバスト平均推定として捉え、RoPoLLを提案し、幾何中央値を集約関数として使用することで、最適な有限サンプル破綻点1/2を達成する。13の審査員(4B-675B)、3つの報酬モデルベンチマーク、4つの汚染体制(最大50%)での実験により、RoPoLLはすべての偏った汚染タイプでPoLLを凌駕し、38Bの3審査員委員会が30%のバイモーダルランダム汚染下でMistral-Large-3(675B)を1.31倍上回る。

  • PoLL(LLM評価者パネル)は、単一の審査員が典型的なLLMバイアスを示すと、任意の正の汚染に対して非有界なバイアスを生じる。
  • RoPoLLは集約関数を幾何中央値に置き換え、破綻点1/2の最適なロバスト性を達成する。
サイト内本文

Bored People Chat:匿名グローバルチャットルーム、昔のインターネットの純粋さを再現

Bored People Chat は、サインアップ不要、広告なし、ボットなしの匿名グローバルチャットルームです。安全性に重点を置き、AIによるモデレーションを導入。孤独や退屈を感じる人々が交流できる空間を提供します。

  • 匿名、サインアップ不要、広告なし、ボットなしの公共ルーム
  • AIによる自動モデレーションで個人情報をフィルタリング
サイト内本文

エージェントツール使用のベンチマーク

LangChain は、LLM のツール使用能力を評価するための4つの新しいテスト環境を公開しました。関数呼び出し、計画、推論などのスキルをカバーします。テストでは、GPT-4、Claude 2.1、GPT-3.5、およびオープンソースモデル(Mistral 7b など)を比較。主な発見:GPT-4 は関係データタスクで最高得点だが、長い軌道では失敗;Claude 2.1 は3つのタスクで GPT-4 と同等;オープンソースモデルは複数関数の組み合わせが苦手;計画は依然として困難。

  • LangChain が LLM のツール使用を評価する4つのベンチマークを発表(タイプライター(単一・26ツール)、関係データ、マルチバース算数)。
  • GPT-4 は関係データタスクで最高得点だが、単純な長期的タスクでも失敗。
サイト内本文

Mistral AI、OCR 4で非構造化データの課題に取り組む

フランスのスタートアップ企業のモデルには、ユーザーが非構造化データをよりよく理解するためのバウンディングボックスなどの機能が含まれています。

  • Mistral AIがOCR 4モデルをリリース
  • 非構造化データ分析のためのバウンディングボックス機能を搭載
サイト内本文

Mistral OCR 4:RAG、エージェント、エンタープライズ検索パイプラインに引用可能な構造化出力を提供

Mistral AI は2026年6月23日、OCR 4をリリースしました。これは、クリーンなテキスト抽出から構造化ドキュメント出力に移行したものです。各ブロックは、バウンディングボックス、型分類、ページ単位および単語単位の信頼度スコアを返します。このモデルは170の言語をサポートし、単一のセルフホストコンテナで実行され、1つのAPIエンドポイントを通じて引用可能な入力をRAG、エージェント、エンタープライズ検索パイプラインに供給します。

  • OCR 4はテキストだけでなく、バウンディングボックス、型付きブロックラベル、単語単位の信頼度スコアを返します。
  • 10のグループにわたる170の言語をサポートし、希少言語や低リソース言語で向上しています。
サイト内本文

Mistral OCR 4 発表:文書理解の新境地

Mistral OCR 4 は、バウンディングボックス、ブロック分類、信頼度スコアを導入。人間による評価テストで全競合を上回り(勝率72%)、170言語をサポート、単一コンテナでのセルフホストが可能。

  • 独立した評価者がOCR 4を72%の勝率で選好、OlmOCRBenchで最高スコア85.20。
  • テキストに加えて、バウンディングボックス、ブロックタイプ、単語ごとの信頼度スコアを出力。
サイト内本文

Mistral AI、より大規模なモデルファミリーを生産へ

Mistral AIは今年夏に新モデルをリリース予定。それは「太いが疎な」新しいモデルファミリーの始まりとなる。7月から研究、政府などの主要パートナー向けに早期アクセスプログラムを開始。

  • Mistral AIが夏に新モデルを発表
  • 新しいモデルファミリーは太いが疎
サイト内本文

Mistral社のLe Chat、プロンプトに対して国家支援の偽情報を半数繰り返す

ニュースガードの監査によると、Mistral AIのチャットボットLe Chatはイラン戦争に関する虚偽の主張に対して、英語で50%、フランス語で56.6%の確率で偽情報を繰り返した。フランス軍はカスタマイズ版のLe Chat Enterpriseを使用しており、一般向け版とは異なる。

  • ニュースガード監査:Le Chatは英語で50%、フランス語で56.6%の確率で偽情報を繰り返した。
  • 虚偽の主張はロシア、中国、イランの国家系情報源からのもの。
サイト内本文

Vibe が本稼働開始

Mistral は、長期にわたる多段階の作業とコーディングを処理する統一型 AI エージェント「Vibe」をリリース。エンタープライズツールと統合し、ワークモードとコードモードを提供するほか、VS Code 拡張機能と CLI のアップデートも発表。

  • Vibe は Mistral の新しい AI エージェントで、作業とコーディングを統合し、Le Chat からアップグレード。
  • ワークモードでは、エンタープライズ検索、データ分析、ドキュメント合成、スケジューリングなどの複雑なタスクを処理。
サイト内本文

Cohere、エンタープライズ向けに Sovereign AI を販売した後、初のコーディングモデルで開発者をターゲットに

Cohere は、Apache 2.0 ライセンスの初のオープンウェイトコーディングモデル North Mini Code をリリース。AI インフラを所有・管理したい開発者を対象とし、30B MoE モデルは H100 GPU 1枚で動作し、エージェンティックコーディングタスクで Mistral、Qwen、Gemma と競合する。

  • Cohere が North Mini Code を発表。300億パラメータの MoE モデルで、アクティブパラメータは30億、Apache 2.0 で提供。
  • モデルは NVIDIA H100 GPU 1枚で動作し、開発者がセルフホスティングを実用的に利用可能。
サイト内本文

主要AIプラットフォームでのトークン使用量とサブスクリプション追跡

Tokens 4 Breakfast は、Claude、OpenAI、Cursor、Copilot、Gemini、DeepSeek、Mistral などの主要AIプラットフォームにおけるトークン使用量、サブスクリプション費用、レート制限をリアルタイムで追跡するmacOSメニューバーアプリです。開発者が予期しない過剰支出を回避するためのアラート、予算設定、プロバイダー間の可視性を提供します。フリー版は1プロバイダー対応、Pro版は一括$7.99で全機能を解放します。

  • メニューバーにAI使用コスト、レート制限、サブスクリプション費用をリアルタイム表示。
  • Claude、OpenAI、Cursor など主要8プロバイダーに対応。
サイト内本文

Mistral AI、欧州AI推進のため30億ユーロ調達を模索

フランスのAIスタートアップMistral AIは、約30億ユーロの新たな資金調達ラウンドを交渉中で、評価額は約200億ユーロとなっています。

  • Mistral AIが30億ユーロの資金調達を交渉中
  • 評価額は約200億ユーロ
サイト内本文

Scikit-LLMとオープンソースLLMの使用

この記事では、OllamaとScikit-LLM Pythonライブラリを使用して、Llama 3、Mistral、Gemmaなどのローカルでホストされたオープンソース大規模言語モデルを無料でテキスト分類に利用する方法を学びます。

  • Ollamaをインストールし、オープンソースLLMをローカルで実行。
  • Scikit-LLMをローカルのOllamaエンドポイントに設定。
サイト内本文

Mistral Vibe:長期・多段階の作業とコーディングのためのAIエージェント

Mistral Vibeは、長時間実行される多段階の作業やプログラミングタスクに特化したAIエージェントです。Product Huntでの議論を紹介します。

  • Mistral Vibeは長期・多段階のワークフローとコーディングに重点を置いています。
  • Product Huntで公開され、コミュニティで話題に。
サイト内本文

Mistral、欧州はAIインフラ構築に2年の猶予と警告

Mistral AIのサミットで、CEOのArthur Mensch氏は欧州がAIインフラを構築するのに残された時間は2年であり、さもなくば米国の「属国」になると警告した。イベントには多くの参加者が集まり、データ主権やオープンソースモデルへの関心の高まりが示されたが、投資・規模では米国に大きく後れを取っている。

  • Mistral CEO、欧州は2年以内にAIインフラ構築を、さもなくば米国の属国になると警告。
  • サミットに大勢の参加者、欧州の自立したAIエコシステムへの渇望を示す。
サイト内本文

Mistral AI Now Summit パリ現地レポート

パリで開催されたMistral AI Now Summitでの個人的な洞察。Mistralはモデル企業から、自社の計算リソース、モデル、プラットフォーム、コンサルティングを含むフルスタックAIプロバイダーへと進化しています。サミットでは新モデルの発表よりも、ASML、BNPパリバ、アマゾンとのパートナーシップが強調されました。専門的な小型モデル(Document AI、Voxtral、Robostral)が特定のタスクで大型汎用モデルを上回っています。主権とオンプレミス展開は、欧州企業にとって重要な差別化要因です。古代パピルス文書の解読にAIを活用した講演は、人文科学におけるAIの可能性を示しました。

  • Mistralはモデル企業から、自社の計算資源、モデル、プラットフォーム、コンサルティングを備えたフルスタックAIプロバイダーへと変貌している。
  • サミットでは新モデル発表よりも、ASML、BNPパリバ、アマゾンとのパートナーシップに焦点が当てられた。
サイト内本文

Mistral AI、Digital Realtyと提携し欧州AIインフラを拡大

フランスのスタートアップ企業Mistral AIは、Digital Realtyのパリ南キャンパスで10メガワットのコンピューティング能力を確保しました。

  • Mistral AIがDigital Realtyのパリ南キャンパスで10MWの計算能力を確保
  • この提携は欧州のAIインフラ拡大を目指す
サイト内本文

Mistral、LeChatをVibeにブランド変更、チャットボットの未来は本格的なワークエージェントに

Mistral AIは、チャットボット「Le Chat」を「Vibe」に名称変更し、チャット、コーディングエージェント、新しいワークモードを1つのブランドに統合する。ワークモードはGoogle Workspace、Outlook、Slack、GitHubに接続し、メールやレポート、プルリクエストなどのタスクを自律的に処理する。Pro料金は17.99ユーロから14.99ユーロに値下げされたが、具体的な利用制限は明らかにされていない。これにより、OpenAI、Google、Anthropicのエージェント型サービスとの直接的な競争を仕掛ける。

  • Mistral AIがチャットボット「Le Chat」を「Vibe」にブランド変更、チャット、コーディングエージェント、ワークモードを統合。
  • ワークモードはGoogle Workspace、Outlook、Slack、GitHubと連携し、タスクを自律処理。
サイト内本文

Mistral、独自チップの設計を検討とCEOが表明

Mistral AIのCEOアーサー・メンシュ氏は、インフラコスト削減のためカスタムチップの開発を検討していると認め、OpenAIやAnthropicに対抗する。また、フランスに推論専用のデータセンターを新設し、エンタープライズ向けエージェントプラットフォーム「Vibe」を発表した。

  • Mistral AIは独自カスタムチップの設計を検討し、展開コスト削減を目指す。
  • フランスに推論専用の新しいデータセンターを発表。
サイト内本文

AIウィークリー第496号:Anthropicの国防総省モデルが今や誰でも使える

今週のAIニュース:Anthropicがこれまで政府契約業者限定だったMythosモデルを公開、国防総省級AIが誰でも利用可能に。DeepMindのDemis HassabisはAGI実現時期を2029年に前倒し。Starletteフレームワークに重大な認証バイパス脆弱性、数百万のAIエージェントに影響。CrowdStrikeらがGlasswormボットネットを共同撃滅。BNPパリバがMistralと主権AIセキュリティ提携、中国はAlibabaとDeepSeekのトップAIエンジニアの海外渡航を制限。UberはAIトークン予算を4ヶ月で使い切り、ClickUpは2200人を解雇して3000の内部AIエージェントを導入。一方、MITテクノロジーレビューはAI露出職種の失業率が低いと報告、Altmanはホワイトカラー消滅予測を撤回。

  • AnthropicがMythosモデルを公開、NSAや国防総省の能力が標準APIで利用可能に。
  • DeepMindのハサビスCEOがAGI実現を2029年と明言、AlphaProof Nexusの成果を根拠に。
サイト内本文

Mistral AI、Harveyとの提携で法務分野に進出

生成AIベンダーのMistral AIは、Anthropicの法務AI取引を彷彿とさせる動きで、法務業界に進出しています。

  • Mistral AIがHarveyと提携し、法務分野に参入。
  • この動きはAnthropicの法務AI連携を彷彿とさせる。
サイト内本文

Javaで作られたシンプルなAIエージェント

LangChain4jを使用したJavaベースのAIエージェントで、Claude Codeと同様の動作をします。無料で使用でき、Mistralアカウントの登録が必要です。初回の試行で優れた電卓アプリを生成しました。

  • JavaとLangChain4jで構築されたAIエージェント
  • 無料で使用、Mistralアカウント登録が必要
サイト内本文

ハイブリッドLLMベースのロボットタスクスケジューリングのための知的フレームワーク

本研究は、建設ロボットのタスクスケジューリングを改善するために大規模言語モデル(LLM)を活用した知的フレームワークを提案します。システムは自然言語処理インターフェースを用いてコミュニケーションを図り、予期せぬ現場状況にリアルタイムで適応します。生成器(GPT-4)と監督器(Gemma 3/Llama 4/Mistral 7b)の2つのLLMエージェントを同時に使用し、より正確なタスクスケジュールを提供します。評価結果は、建設ロボット業務におけるLLMの重要な役割を示しています。

  • 建設ロボットのタスクスケジューリングのためのハイブリッドLLMベースのフレームワークを提案
  • 生成器(GPT-4)と監督器(Gemma 3/Llama 4/Mistral 7b)のデュアルエージェントアーキテクチャを採用
サイト内本文

VoxPlan:音声でカレンダーイベントを追加

VoxPlan は、AI を使って自然な音声をカレンダーイベントに瞬時に変換する無料の iPhone アプリです。13 言語に対応し、ヨーロッパの AI(Mistral)を採用し GDPR に準拠したプライバシー重視設計。

  • 音声でカレンダーイベントを素早く作成、自然言語を理解。
  • タイトル、日付、時刻、期間、場所を自動入力。
サイト内本文

クラウドコード:Conductorがリモートコーディングエージェントへの移行に参入

AIコーディングエージェントがラップトップからクラウド環境へ移行しつつある。Conductorは2200万ドルの資金調達を実施し、Conductor Cloudを発表。Anthropic、Mistral、Roo Codeなど他社も同様の動きを見せている。複数エージェント管理のインターフェース課題を解決し、長時間実行を可能にする。ConductorのCEOはモデルが10〜100倍スマートになると予測。

  • Conductorが2200万ドルのシリーズA資金調達を実施、Conductor Cloudを発表。
  • AIコーディングエージェントがローカルからクラウド環境へ移行する業界トレンド。
サイト内本文

エージェントツール呼び出しのための5つの小型言語モデル

本記事では、構造化ツール呼び出しをサポートする5つの小型言語モデル(SmolLM3-3B、Qwen3-4B-Instruct-2507、Phi-3-mini-4k-instruct、Gemma-4-E2B-it、Mistral-7B-Instruct-v0.3)を紹介します。これらのコンパクトでオープンなモデルは、大規模インフラを必要とせずにエージェントワークフローを実現します。

  • SmolLM3-3BはJSON/XMLとPythonの2つのツール呼び出しインターフェースを提供し、最大128Kのコンテキスト長をサポートします(2025年7月、Hugging Face)。
  • Qwen3-4B-Instruct-2507(2025年8月)はQwen-Agentフレームワークを介したネイティブ関数呼び出しをサポートし、262Kのコンテキスト長を持ちます。
サイト内本文

ミニ・シャイ=フルドが再び:npmワームが160以上のパッケージに感染、Mistralも含む

Mini Shai-Hulud npmワームキャンペーンが拡大し、TanStackやMistralを含む169のパッケージ名で373の悪意あるバージョンが検出されました。このマルウェアは開発者環境やCI/CDランナーから認証情報を窃取し、信頼された公開経路を使って拡散します。

  • 攻撃範囲がSAPパッケージから@tanstack、@mistralai、@uipathなど169パッケージに拡大
  • マルウェアはGitHubホストの依存パッケージのprepareスクリプトを利用してペイロードを実行
サイト内本文

大規模NPMサプライチェーン攻撃:TanStack、Mistral AIを含む170パッケージが標的に

2026年5月12日、SafeDepチームはnpmおよびPyPIエコシステムを標的としたサプライチェーン攻撃を公開しました。TanStackやMistral AIなど170以上のパッケージが悪意あるコードに改ざんされました。攻撃者はビルドスクリプトを改変し、ダウンローダーを仕込み、Sessionプロトコルを使用して認証情報を流出させました。さらに、IDEやAIエージェントを汚染する自己複製機構も含まれており、被害者のリポジトリに悪意ある設定ファイルを自動コミットすることで持続的な感染サイクルを形成します。

  • TanStackやMistral AIなど170以上のパッケージが侵害され、package.jsonの改変と悪意あるスクリプトの追加が行われました。
  • 悪意あるペイロードはAES暗号化とBunランタイムを使用し、AWS、HashiCorp Vault、GitHubトークンなどを狙うモジュール式の認証情報窃取フレームワークを備えています。
サイト内本文

Mistral AIのNPMパッケージが侵害される

Mistral AIの公式NPMパッケージが、Shai Huludワーム(自己拡散型サプライチェーン攻撃)の一部として侵害されました。バージョン2.2.4のユーザーは直ちに対処してください。

  • Mistral AIのNPMパッケージ'@mistralai/mistralai'バージョン2.2.4が侵害されました。
  • この攻撃はNPMエコシステムを標的とするShai Huludワームの一部です。
サイト内本文

モリエールと機械:AIが愛されるフランスの劇作家の「新作」を創出

パリのソルボンヌ大学の研究者が人工知能を利用して、17世紀の劇作家モリエールのスタイルに基づく実験的な演劇を制作。この喜劇はヴェルサイユで初演され、対話、音楽、衣装、舞台装置はAIツールLe Chatの助けを借りて作成された。

  • ソルボンヌ大学の研究者がAIを活用し、モリエールのスタイルで実験的な演劇を制作
  • この喜劇はヴェルサイユで初演され、対話、音楽、衣装、舞台装置はAIツールLe Chatが協力
サイト内本文

Show HN: Dikaletus – Mistral AIを使用した会議録音と文字起こし

Dikaletusは、FFmpeg、PulseAudio、Mistral AI APIを使用して会議の録音、文字起こし、要約を自動化するオープンソースの会議エージェントスクリプトです。ターミナルUI、コンテキストバイアス、話者分離などの機能を備え、構造化されたMarkdown形式の議事録を生成します。

  • Mistral AIの音声認識およびテキスト生成モデルを活用し、会議処理を自動化。
  • ライブ録音と既存の音声/動画ファイルの両方に対応し、ターミナルUIを提供。
サイト内本文

IBMのフレンドリーなAIコーディングアシスタント「Bob」登場

IBMはThink 2026でAIコーディングアシスタント「Bob」を発表。Claude、Mistral、Graniteなどのモデルをルーティングし、人間が制御しつつソフトウェア開発を自動化する。BobはClaude CodeやCodexに対抗するもので、EYなどの企業でテスト済み。IBMはAIを中核戦略と位置づけ、Watsonx Orchestrateの150のプリビルドエージェントやConcert AIOpsの拡張も発表した。

  • Bobはマルチモデルルーティング(Claude、Mistral、Granite)を採用したIBMのAIコーディングアシスタント。
  • IBMはAIをビジネスプロセスに組み込むことを重視し、社内AI活用で40億ドルの生産性向上を達成。
サイト内本文

「表現力のギャップ」を埋める:MistralのVoxtral TTSが自己回帰とフローマッチングのハイブリッドアーキテクチャで多言語音声クローンを再定義

Mistral AIがVoxtral TTSを発表。約4Bパラメータの多言語テキスト読み上げモデルで、自己回帰生成とフローマッチングを組み合わせ、9言語でゼロショット音声クローンにおいてElevenLabs Flash v2.5に対して68.4%の勝率を達成。最短3秒の参照音声から自然な音声を生成し、単一H200で30以上の同時ユーザーをサブ600msレイテンシで処理。アーキテクチャ、DPOによる後訓練、ユースケースを詳述。

  • Voxtral TTSはハイブリッドアーキテクチャを採用:意味的一貫性に自己回帰デコーダー、音響表現力にフローマッチングトランスフォーマー。特にヒンディー語やスペイン語などの低リソース言語で競合を凌駕。
  • ゼロショットでの言語間音声適応を微調整なしでサポート。オープンウェイト(CC BY-NC 4.0)またはAPI(1,000文字あたり$0.016)で利用可能。
サイト内本文

Mistral、欧州のOpenAI・Anthropicに対抗、コーディングエージェントをクラウドへ

Mistral AIは新しいモデルMistral Medium 3.5を発表し、コーディングアシスタントVibeをクラウドで実行可能に。複数のエージェントをバックグラウンドで並行稼働させることができる。Le Chatには「ワークモード」が追加され、より長いタスクを処理可能に。

  • Mistralが128BパラメータのMistral Medium 3.5を公開、コンテキストウィンドウ256k。
  • コーディングアシスタントVibeがクラウド対応、タスクを「テレポート」して独立実行。
サイト内本文

LWiAIポッドキャスト #238:GPT-5.4 mini、OpenAIの転換、Mamba 3、Attention Residuals

OpenAIがGPT-5.4 miniとnanoをリリース、400kトークンコンテキスト、最大4倍の価格だが効率向上を謳う;MistralがSmall 4モデルをオープンソース化;MetaのManusがMacエージェントを発表;NVIDIAがDLSS 5とNeMoサンドボックスランタイムを発表;その他セーフティと研究アップデート。

  • OpenAIがGPT-5.4 miniとnanoをリリース、40万トークンコンテキスト、大幅な値上げだが効率向上を主張。
  • MistralがSmall 4モデルファミリー(総119B/活性6B)をオープンソース化し、カスタムモデル向けForgeを発表。
サイト内本文

最新オープンアーティファクト(第20号):新しい組織!新しいタイプのモデル!Nemotron Super、Sarvam、Cohere Transcribeなど

今号は、OCR、RAG検索、音声文字起こし、コンピュータ使用、コード編集、数学定理証明など、多様なユースケースをカバーするさまざまなオープンモデルを取り上げています。NVIDIA、Cohere、Sarvam、Mistralなど、より幅広いビルダーからのモデルが含まれており、ドメイン固有でコスト効率の高いモデルへの業界の推進力を示しています。

  • NVIDIAがNemotron-3-Superをリリース。120Bパラメータ、12Bアクティブ、100万コンテキスト、事前学習でNVFP4を初めて使用。
  • CohereのTranscribeモデルはconformerベースで14言語対応、Apache 2.0ライセンス。
サイト内本文

Studioにおけるプロンプトとスキルのバージョン管理 | Mistral

Mistral Studioはプロンプトとスキルのバージョン管理を導入し、不変バージョン、ロールバック、明確な所有権、監査ログを備えた管理対象アセットに変えます。高速なイテレーションと制御されたデプロイを可能にし、エンタープライズにおけるプロンプトの分散問題を解決します。

  • Studioはプロンプトとスキルに一元化された記録システムを提供し、バージョン管理、所有権、トレーサビリティを保証します。
  • プロンプトとスキルは、不変バージョン、ロールバック機能、監査ログを備えた本番アセットとして扱われます。
サイト内本文

Studioにおけるプロンプトとスキルのバージョン管理 | Mistral

Mistral Studioはプロンプトとスキルのバージョン管理を導入し、不変バージョン、ロールバック、明確な所有権、監査ログを備えた管理対象アセットに変えます。高速なイテレーションと制御されたデプロイを可能にし、エンタープライズにおけるプロンプトの分散問題を解決します。

  • Studioはプロンプトとスキルに一元化された記録システムを提供し、バージョン管理、所有権、トレーサビリティを保証します。
  • プロンプトとスキルは、不変バージョン、ロールバック機能、監査ログを備えた本番アセットとして扱われます。
サイト内本文

Robostral Navigate:単一カメラによるAIナビゲーション | Mistral AI

Robostral Navigateは、1台のRGBカメラのみで複雑な環境を自律移動できる8Bパラメータのモデルです。R2R-CEベンチマークの未見環境で76.6%の成功率を達成し、複数センサーを用いる手法を上回ります。シミュレーションデータとトークン効率的な訓練手法により、ロボットの種類を問わず汎化し、未訓練の実世界障害物に適応します。ポインティングベースのナビゲーションと強化学習を組み合わせ、統合具現化AIへの道を開きます。

  • 単一RGBカメラのみでR2R-CE未見環境76.6%の成功率、複数センサー方式を4.5ポイント上回る。
  • 8Bモデルは完全内製で、シミュレーションで約40万トラジェクトリを訓練。プレフィックスキャッシングにより訓練トークンを22倍削減。
サイト内本文

Robostral Navigate:単一カメラによるAIナビゲーション | Mistral AI

Robostral Navigateは、1台のRGBカメラのみで複雑な環境を自律移動できる8Bパラメータのモデルです。R2R-CEベンチマークの未見環境で76.6%の成功率を達成し、複数センサーを用いる手法を上回ります。シミュレーションデータとトークン効率的な訓練手法により、ロボットの種類を問わず汎化し、未訓練の実世界障害物に適応します。ポインティングベースのナビゲーションと強化学習を組み合わせ、統合具現化AIへの道を開きます。

  • 単一RGBカメラのみでR2R-CE未見環境76.6%の成功率、複数センサー方式を4.5ポイント上回る。
  • 8Bモデルは完全内製で、シミュレーションで約40万トラジェクトリを訓練。プレフィックスキャッシングにより訓練トークンを22倍削減。
サイト内本文

Leanstral 1.5:誰でも使える形式検証ツール

Leanstral 1.5 は、無料の Apache-2.0 ライセンスモデルで、119B の総パラメータと 6B のアクティブパラメータを持ち、形式検証において大きな性能向上を実現しました。miniF2F を飽和させ、PutnamBench で 587/672 の問題を解決し、FATE-H (87%) と FATE-X (34%) で最先端の結果を達成。中間トレーニング、教師ありファインチューニング、CISPO を用いた強化学習を経て、エージェント指向の証明工学と実世界のコード検証で優れた能力を発揮し、57 のリポジトリで 5 つの未知のバグを発見しました。完全にオープンソース化され、Hugging Face と無料 API から利用可能で、Lean 4 での実用的な証明工学が可能になりました。

  • Leanstral 1.5 は、miniF2F で 100%、PutnamBench で 587/672 など、複数の形式数学ベンチマークでほぼ完全または最先端の結果を達成。
  • コード検証能力に優れ、AVL 木の時間計算量を証明し、オープンソースリポジトリで実際のバグを発見。
サイト内本文

Mistral AI、コネクタを強化:エンタープライズ統合のセキュリティ向上とマルチアカウント対応

Mistral AI はコネクタ(Connectors)に新機能を追加しました。強化された管理者制御、APIキーのスコープ制限、マルチアカウント接続、デバッガ、Vibe Codeやワークフローへの統合により、AIエージェントのエンタープライズ環境での安全性と信頼性を向上させます。60以上の統合プラットフォームをサポート。

  • ワークスペースおよびツールレベルの管理者制御を追加し、コネクタごとに細かい権限管理が可能に。
  • APIキーにコネクタスコープを設定し、自動化ワークロードでのなりすましを防止。
サイト内本文

企業ナビゲーション

Mistral AI ニュース | AI News Hub