---
license: other
tags:
- polydim
- pmtp
- stiefel-manifold
- deepseek-v4
- einsof
base_model: deepseek-ai/DeepSeek-V4-Distill-32B
---

# deepseek-v4-distill-pmtp (POLYDIM / PMTP Stiefel Manifold Adapter)
- **Family:** DeepSeek
- **Base Model:** `deepseek-ai/DeepSeek-V4-Distill-32B`
- **Ollama Tag:** `deepseek-v4:distill`
- **Role:** High-Order Formal Proof Auditor & MoE Theorem Prover
- **License:** DeepSeek Open Model License
- **Author:** Ariel García Traba (Independent Research / POLYDIM-EINSOF Research Initiative)
- **Repository:** [https://github.com/AGT1973/POLYDIM_EINSOF](https://github.com/AGT1973/POLYDIM_EINSOF)

## Architecture Specification
- **Geometric Manifold:** `Principal Subspace St(5120, 2048) on S^(2047)`
- **Dimensions:** $d_{\text{model}} = 5120 \to d_{\text{canonical}} = 2048$
- **Stiefel Defect:** `4.83e-09` (FP64 Neumaier Accumulator)
- **Silicon Contract:** Native C++20 / Rust 2024 / AVX2 / PmtpShmBus IEEE-754 FP64
- **Theorems Integrated:** 1,740 formal theorems from PostgreSQL 16 (`polydim_vec_db`)
- **Zero-Worm Protocol:** Continuous thought transfer via `SLAB_ID` with zero intermediate JSON/Markdown token tax.