Observed · not hosted
DeepSeek-V3
A signed record of the public facts about DeepSeek-AI's DeepSeek-V3, as observed on 2026-06-25. LeanLogix does not host, train, or evaluate this model — this passport makes the cited facts tamper-evident, not a benchmark claim.
Signed public facts
DeveloperDeepSeek-AI
Parameters671B total · 37B activated per token
Base architectureMixture-of-Experts (Multi-head Latent Attention, DeepSeekMoE, Multi-Token Prediction)
Context window128K tokens
Modalitytext
Released2024-12
LicenseDeepSeek License Agreement v1.0 (weights) · MIT (code)
Observed byLeanLogix · 2026-06-25
Dispositionobserved — public facts only, no benchmark signed
The seal — Ed25519, re-checkable offline
Verify the observation bytes here or in the public verifier. A valid signature proves snapshot integrity under the named signer; this observation statement is not a release passport or upstream-fact authority.
Signing key fpa97122c37f5c…97fac1e1
Body sha256c062a251438f…21e8c74f
Public-fact observation of a model LeanLogix does not host, train, or evaluate. No benchmark or quality claim is made or signed — only the cited public facts on the observed date. Signed with the LeanLogix provenance key so the record is tamper-evident and offline-verifiable.