NEW FUNDAMENTALS

Novel Mathematics for Existing Industries

We solve the hardest problems we can find.

Then use the tools we built to retool industries. In attacking fundamental problems we have developed new approaches that can be applied across compute and physical systems.

Attack on the Riemann Hypothesis

Version 4.1 of our attack on the Riemann Hypothesis is being formalised in Lean. The attack itself is only part of the story. The real work is in the novel methodologies we developed along the way. These form the mathematical core of CriticalZero, and allow us to do what others cannot. Why we work this way.