Valued at $1.6 billion, a tiny start-up called Axiom is building A.I. systems that can check for mistakes. By Cade Metz Following rivals like Amazon and OpenAI, Microsoft is upgrading its artificially ...