News

主要ニュース

Mistralが自動定理証明向けAI「Leanstral 1.5」リリース、Lean 4の証明作業を支援

Mistral AIが数学の証明やプログラムの正しさを機械的に確かめる作業を支援するAIモデル「Leanstral 1.5」を2026年6月30日に公開しました。Leanstral 1.5は形式証明ツール「Lean 4」向けの自動定理証明と自動形式化に最適化されたモデルで、Mistral AIのLabs枠で無料利用できると案内されています。

Ambiral株式会社、音声データから消費者の思考を再現する「AI生活者プラットフォーム」ベータ版を提供開始

commercepick.com

イトーキ、最高AI責任者「CAIO」新設し全社AIシフトを加速

OpenAIのエンジニアがAIの推論コストを半分以下に削減する方法を見つけたとの報道

国産生成AI最新版「Sarashina3 シリーズ」ソフトバンクのクラウドで提供開始　日本語応答性能を強化

Protonがプライバシー重視チャットAI「Lumo 2.0」を発表、Claude Sonnet 4.6を超える性能

GMOプライム・ストラテジー、法人向けRAGソフトウェア「GMO AI RAG」を提供開始

cloud.watch.impress.co.jp

パナソニックコネクト、金融商品を取引するAIエージェントの課題を共同で検討

japan.zdnet.com

DeepSeek「DSpark」公開、V4の生成速度を最大85%高速化する投機的デコーディング

『Claude』最上位モデル「Fable 5」が“復活”へ　米政府の輸出規制解除で3週間ぶりに提供再開

AIモデルは“賢くない”ことをアピールする時代に？　『Claude Sonnet 5』登場も「サイバー能力は大幅に低い」と主張

Claude DesktopのLinux版、ベータで提供開始

pc.watch.impress.co.jp

TeslaがIntel出身者をTerafab責任者に、AIチップ内製は工場運営の勝負へ

xenospectrum.com

AIエージェント経由でXのAPIを操作して「投稿検索」「トレンド分析」などが可能な「X MCP」が公開される

NVIDIAのAIチップを使わずにGemini 3.1 Pro並みの性能を実現した1.6兆パラメーターの中国製AIモデル「LongCat-2.0」が登場

三菱UFJ銀行、法人営業にSales MarkerのマルチAIエージェントを導入し提案書作成の初期工数を削減

商船三井、船舶運航の意思決定を高度化するAIデータ基盤を稼働

it.impress.co.jp

OpenAIがCodex用の新ハードウェアを予告

Anthropicが科学者向けAIアプリ「Claude Science」を公開、文献調査や図表作成を単一アプリで実行可能

ITbook 株式会社様のAWS 生成 AI 活用事例：Amazon Bedrock を活用し、要件文書から提案書を自動生成する仕組みを構築し、提案書のドラフト作成を十日から半日に短縮

アンソロピックの最先端AIモデル、米国政府が輸出規制を解除