This is a mathematical discovery engine, which searches new mathematics applying techniques to existing results

🎬 Beautiful Manim-animated mathematical proofs from my published research — Persistent Homology, Fixed Point Theorems, Optimization Algorithms & more.

Formal proofs in analog spline theory: Shipwright's Theorem, Galois Connection

Codex skill for hard theory proofs, proof debugging, route control, and failed-proof recovery

Three exact-arithmetic verification pipelines — λ=2c conformal identities + the emission-gap theorem, Mahler-measure matrix plates (interactive in-browser explorer), and residual-return learning dynamics over number fields. Every load-bearing claim is machine-checked; all suites pass.