A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

Valued at $1.6 billion, a tiny start-up called Axiom is building A.I. systems that can check for mistakes.