中国の AI 企業 DeepSeek は、数学的推論と定理証明に特化したオープンソースの大規模言語モデル「 DeepSeek-Prover-V2 」を公開しました。このモデルは、非形式的な数学的推論と Lean 4 を用
続きを読む
中国の AI 企業 DeepSeek は、数学的推論と定理証明に特化したオープンソースの大規模言語モデル「 DeepSeek-Prover-V2 」を公開しました。このモデルは、非形式的な数学的推論と Lean 4 を用
続きを読む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」を発
続きを読むサンフランシスコの AI スタートアップ Tavus が発表した「 Hummingbird-0 」は、動画の口の動きを音声に合わせる技術(リップシンク)を用いた AI モデルです。この技術の最大の特徴は「ゼロショット」と
続きを読むGoogle DeepMind は 2025 年 4 月 24 日、音楽制作支援ツール「Music AI Sandbox」の大規模アップデートを発表しました。新しい音楽生成モデル「Lyria 2」を導入し、プロの音楽制作
続きを読むアドビは 2025 年 4 月 24 日、ロンドンで開催した「Adobe MAX」イベントで、AI プラットフォーム「Firefly」の大規模な機能拡張を発表しました。新しい画像生成モデルや外部 AI の統合、コラボレー
続きを読むワシントン・ポストは 2025 年 4 月 22 日、OpenAI との戦略的パートナーシップを発表しました。この提携により、週 5 億人以上が利用する ChatGPT の回答に、同紙の報道内容が要約や引用として直接組み
続きを読む韓国のスタートアップ Nari Labs が 2025 年 4 月、画期的なオープンソースの音声合成(Text-to-Speech、TTS)モデル「Dia」をリリースしました。この 1.6 億パラメータのモデルは、Ele
続きを読むOpenAI が 2025 年 4 月に発表した最新 AI モデル「 o3 」と「 o4-mini 」について、社内外の評価で「ハルシネーション(事実でない情報をもっともらしく生成する現象)」が従来モデルよりも明らかに増
続きを読むxAI が開発する AI チャットボット「Grok」に、過去の会話を記憶する「メモリ機能」と、ファイルや会話を整理できる新しい「Workspaces(ワークスペース)」タブが導入されました。これらの機能によって、Grok
続きを読むGoogle は 2025 年 4 月 17 日、ハイブリッド推論 AI モデル「 Gemini 2.5 Flash 」をプレビュー公開しました。このモデルは、推論プロセスを ON/OFF 切り替え可能な「完全ハイブリッ
続きを読む