DeepSeek upgrades its math-focused AI model Prover | TechCrunch
DeepSeek upgrades its math-focused AI model Prover | TechCrunch
Chinese AI lab DeepSeek has quietly updated Prover, its AI system that's designed to solve math-related proofs and theor...続きを読む
techcrunch.com
DeepSeekは、数学関連の証明や定理を解決するために設計されたAIモデル「Prover」をアップグレードしました。
この最新バージョンであるProver V2は、AI開発プラットフォームHugging Faceにアップロードされ、6710億のパラメータを持つV3モデルを基に構築されています。V2は、タスクを小さな専門的な「エキスパート」コンポーネントに分割して処理する「専門家の混合（MoE）」アーキテクチャを採用しています。
DeepSeekは、Proverを2023年8月に最後に更新しており、その際には正式な定理証明と数学的推論のためのカスタムモデルとして説明されていました。また、DeepSeekは外部資金調達を検討しているとの報道もあり、最近では一般的な用途向けのV3モデルのアップグレードをリリースしたばかりです。今後、R1「推論」モデルの更新も予定されています。
deepseek-ai/DeepSeek-Prover-V2-671B ・ Hugging Face
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
