Blog
- Home
/Blog
04 May 2026
ZeroProofML 0.5.1: Strict Inference You Can Audit
ZeroProofML 0.5.1 makes strict rational inference inspectable across export, validation, and deployment handoff.
07 Jan 2026
Ghost Molecules? A Lennard-Jones Stress Test for Neural Potentials
A controlled Lennard-Jones dimer test shows where smooth neural potentials can look accurate yet extrapolate too softly in the repulsive core.
08 Sep 2025
Why Your Neural Network Can't Learn 1/x (And What We Did About It)
Why smooth activations create "Soft Walls" near poles, and how Signed Common Meadows (SCM) fix it for robotics, pharma, and electronics.
15 Jul 2025
Looking for Problems: Where Should We Test ZeroProofML Next?
We validated the 'Physics Trinity' (Pharma, Electronics, Robotics). Now we need your help finding the next singularity.