中国の AI 企業 DeepSeek は、数学的推論と定理証明に特化したオープンソースの大規模言語モデル「 DeepSeek-Prover-V2 」を公開しました。このモデルは、非形式的な数学的推論と Lean 4 を用
続きを読む
カテゴリー: DeepSeek
中国 DeepSeek が V3 モデルをアップデート、推論能力を向上
中国の AI スタートアップ DeepSeek が、V3 モデルのアップデート版「 DeepSeek-V3-0324 」をリリースしました。このモデルは 671B という巨大なパラメータサイズでありつつ、同時に高性能なパ
続きを読む中国AIスタートアップDeepSeek、理論上 545%の利益率を主張
中国の AI スタートアップ DeepSeek が自社の AI モデルについて一見すると衝撃的な数字を発表し、話題を集めています。同社の最新モデル「 V3 」と「 R1 」の推論コストと売上を比較した結果、理論上では 2
続きを読む