中国の 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技術
続きを読む中国の大手テクノロジー企業 Huawei (華為技術)は、最新の AI チップ「 Ascend 910C 」の中国国内向け大量出荷を 2025 年 5 月にも開始する予定です。このチップは、米国の輸出規制によって中国での
続きを読む中国発の 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
続きを読む2021年に創業した中国・上海に本拠を置く AI スタートアップの MiniMax が「 Speech-02 」をリリースしました。Speech-02 はテキストから音声への変換( TTS: Text-to-Speech
続きを読むAlibaba の Qwen チームが、新たな視覚的推論モデル「 QVQ-Max 」をリリースしました。このモデルは 72 億パラメータを持ち、単なる画像認識を超えて、画像や動画に含まれる視覚情報を分析し、論理的に推論す
続きを読むAlibaba Cloud は、新たなマルチモーダル AI モデル「 Qwen2.5-Omni-7B 」を発表しました。このモデルは、テキスト・画像・音声・動画といったさまざまな情報を同時に処理でき、リアルタイムで自然な
続きを読む中国の AI スタートアップ DeepSeek が、V3 モデルのアップデート版「 DeepSeek-V3-0324 」をリリースしました。このモデルは 671B という巨大なパラメータサイズでありつつ、同時に高性能なパ
続きを読む中国のテンセントが新たに発表した推論モデル「 Hunyuan T1 」が、業界初のアーキテクチャを採用し、注目を集めています。このモデルは、DeepSeek の R1 と性能および価格面で同等の性能を出しています。また「
続きを読む