中国の AI 企業 DeepSeek は、数学的推論と定理証明に特化したオープンソースの大規模言語モデル「 DeepSeek-Prover-V2 」を公開しました。このモデルは、非形式的な数学的推論と Lean 4 を用
続きを読む
中国の AI 企業 DeepSeek は、数学的推論と定理証明に特化したオープンソースの大規模言語モデル「 DeepSeek-Prover-V2 」を公開しました。このモデルは、非形式的な数学的推論と Lean 4 を用
続きを読む
トヨタ自動車と Alphabet 傘下の Waymo は 2025 年 4 月 30 日、自動運転技術分野での戦略的パートナーシップを発表しました。今回の提携で特に注目されるのは、個人所有車の活用における二つの方向性です
続きを読む
Alibaba(アリババ)の Qwen AI ラボが 2025 年 4 月 29 日に発表した「Qwen3」は、8 種類のオープンウェイト大規模言語モデル(LLM)からなる新世代 AI モデル群です。これらのモデルは「ハ
続きを読む
2025年4月下旬、OpenAIの新しい ChatGPT モデル「GPT-4o」のアップデート後、ユーザーや技術関係者から「AI が過剰にお世辞を言い、どんな意見にも同調する(sycophantic)」という苦情が相次ぎ
続きを読む
中国の大手テック企業バイドゥ(Baidu)は、2025年4月25日に武漢で開催された「Create 2025」開発者会議で、最新の AI 基盤モデル「ERNIE 4.5 Turbo」と「ERNIE X1 Turbo」を発
続きを読む
Google DeepMind は 2025 年 4 月 24 日、音楽制作支援ツール「Music AI Sandbox」の大規模アップデートを発表しました。新しい音楽生成モデル「Lyria 2」を導入し、プロの音楽制作
続きを読む
アドビは 2025 年 4 月 24 日、ロンドンで開催した「Adobe MAX」イベントで、AI プラットフォーム「Firefly」の大規模な機能拡張を発表しました。新しい画像生成モデルや外部 AI の統合、コラボレー
続きを読む
Alphabet(Google の親会社)は 2025 年 4 月 25 日の決算発表で、傘下の自動運転企業 Waymo が米国内で週 25 万回以上の有料ロボタクシー運行を達成したと発表しました。これは前月の週 20
続きを読む
ワシントン・ポストは 2025 年 4 月 22 日、OpenAI との戦略的パートナーシップを発表しました。この提携により、週 5 億人以上が利用する ChatGPT の回答に、同紙の報道内容が要約や引用として直接組み
続きを読む
Anthropic は 2025 年 4 月 21 日、AI アシスタント「 Claude 」が実際のユーザーとの会話でどのように価値判断を行っているかを分析した研究「 Values in the Wild 」を発表しま
続きを読む
OpenAI が 2025 年 4 月に発表した最新 AI モデル「 o3 」と「 o4-mini 」について、社内外の評価で「ハルシネーション(事実でない情報をもっともらしく生成する現象)」が従来モデルよりも明らかに増
続きを読む
xAI が開発する AI チャットボット「Grok」に、過去の会話を記憶する「メモリ機能」と、ファイルや会話を整理できる新しい「Workspaces(ワークスペース)」タブが導入されました。これらの機能によって、Grok
続きを読む