deepseek-v4.1-flash-pmtp (POLYDIM / PMTP Stiefel Manifold Adapter)

• Family: DeepSeek-MoE
• Base Model: deepseek-ai/DeepSeek-V4-1-Flash
• Ollama Tag: deepseek-v4.1:flash
• Role: SOTA MoE Flash: Efficient Production Reasoning & Code Generation (MIT License)
• License: MIT
• Author: Ariel García Traba — POLYDIM-EINSOF Research Initiative
• DOI: https://doi.org/10.5281/zenodo.24013070

Architecture

• Manifold: Principal Subspace St(5120, 2048) on S^(2047)
• Stiefel Defect: 4.09e-09 (FP64 Neumaier)
• Silicon: AVX2 / PmtpShmBus / Zero-Worm SLAB_ID protocol
• Theorems: 1,740 formal theorems (PostgreSQL 16 polydim_vec_db)