The most widely adopted computer language in history, COBOL is now causing a host of problems. It's also dangerously difficult to remove.

Companies are embracing the technology more than ever. But should they do so even when they finally figure out AI code isn't ...

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...