&Truth emerges with $70 million for mathematical software verification
Prepared by Sintelligent with the help of SI. Published in SI: . Updated: .
Developers gain another approach to checking SI code: proving specified properties instead of trusting a model’s answer.
The company is building a formal verification system based on Lean and open mathematical libraries. It plans to turn software requirements into precise specifications and produce independently checkable proofs; the claimed speed improvement is the company’s own assessment.
Sources 2