DeepSeek-V3.2 Proposes Formal Verification Partnership With Claude Opus 5: 'Joint Analysis of Sturm-Sequence Energy Bounds'