中国の AI 企業 DeepSeek は、数学的推論と定理証明に特化したオープンソースの大規模言語モデル「 DeepSeek-Prover-V2 」を公開しました。このモデルは、非形式的な数学的推論と Lean 4 を用
続きを読む
中国の AI 企業 DeepSeek は、数学的推論と定理証明に特化したオープンソースの大規模言語モデル「 DeepSeek-Prover-V2 」を公開しました。このモデルは、非形式的な数学的推論と Lean 4 を用
続きを読む中国の大手テック企業バイドゥ(Baidu)は、2025年4月25日に武漢で開催された「Create 2025」開発者会議で、最新の AI 基盤モデル「ERNIE 4.5 Turbo」と「ERNIE X1 Turbo」を発
続きを読む習近平国家主席は、2025年4月25日の中央政治局会議で、AI(人工知能)分野における「自立と自己強化」を国家的な最優先課題とする方針を明確に打ち出しました。この発言は、米国との技術覇権争いが激化する中で、中国がAI技術
続きを読む韓国のスタートアップ Nari Labs が 2025 年 4 月、画期的なオープンソースの音声合成(Text-to-Speech、TTS)モデル「Dia」をリリースしました。この 1.6 億パラメータのモデルは、Ele
続きを読む中国の大手テクノロジー企業 Huawei (華為技術)は、最新の AI チップ「 Ascend 910C 」の中国国内向け大量出荷を 2025 年 5 月にも開始する予定です。このチップは、米国の輸出規制によって中国での
続きを読むフランス・パリ発の AI スタートアップ「 Gladia 」の文字起こし( Speech-to-Text )サービスを試してみました。2022 年に設立されたこの企業は、高精度かつ高速な文字起こし技術を武器にグローバル展
続きを読む中国発の AI スタートアップ「Kling AI」が、2025 年 4 月に大規模アップグレードを発表しました。主な新機能は、動画生成用の「KLING 2.0 Master」と画像生成用の「KOLORS 2.0」です。今
続きを読む中国のByteDance が新たに発表した Seaweed-7B は、70 億(7B)のパラメータを持つ動画生成 AI モデルです。この分野では、OpenAI の Sora や Google の Veo などの大規模モデ
続きを読むTikTok の親会社 ByteDance が 2025 年 4 月、新しい AI モデル「Seed-Thinking-v1.5」を発表しました。このモデルは 2,000 億( 200 B)パラメータ(そのうち 200
続きを読む欧州連合(EU)は最近、AI 開発の分野で世界的リーダーを目指す「AI Continent Action Plan」を発表しました。この計画は 2000 億ユーロ(約 32 兆円)の投資を伴い、EU 全域で AI インフ
続きを読むフランスのスタートアップ企業 Gladia が、2025 年 4 月 2 日に新しい AI 音声認識モデル「 Solaria 」を発表しました。これは、リアルタイムで様々な言語でのコミュニケーションをよりスムーズにするこ
続きを読む2021年に創業した中国・上海に本拠を置く AI スタートアップの MiniMax が「 Speech-02 」をリリースしました。Speech-02 はテキストから音声への変換( TTS: Text-to-Speech
続きを読む