DeepSeek– tag –
-
［技術紹介］ハードウェアの壁に挑むDeepSeek-V3：次世代AIを支える協調設計の本質と低コストの秘密
はじめに 本稿では、DeepSeek-AIが発表した論文「Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI Architectures」を基に、大規模言語モデル（LLM）の急速な進化に伴い顕在化するハードウェアの限界と、その課題に革... -
［エンジニア向け技術解説］AIによる数学の形式的証明：DeepSeek-Prover-V2の詳細解説（GoogleColab付き）
はじめに 数学における定理証明は、その厳密性が学問の根幹をなす一方で、非常に高度で緻密な作業が要求されます。近年、大規模言語モデル（LLM）の目覚ましい発展により、非形式的な数学的推論能力は大きく向上しましたが、形式的な証明支援システム（L... -
［ニュース解説］米下院委員会、中国AI「DeepSeek」を国家安全保障上の脅威と指摘 ― Nvidia製チップ使用疑惑も
はじめに 近年、目覚ましい発展を遂げるAI（人工知能）技術ですが、その開発競争は国家間の技術覇権争いの側面も持っています。本稿では、米国の下院特別委員会が中国のAIプラットフォーム「DeepSeek」について発表した調査報告書を取り上げ、その内容と... -
［ニュース解説］生成AIバブルへの懸念と、超低コストの大規模言語モデル開発の隆盛
はじめに 生成AIへの期待と懸念が交錯する中、AI開発の現場では新たな潮流が生まれています。本稿では、大規模言語モデル（LLM）の開発におけるコスト削減の動きと、それがAI研究にもたらす影響についてCNBCの記事「As generative AI bubble fears grow,...
1