Valued at US$1.6bil (RM6.3bil), a tiny start-up called Axiom is building AI systems that can check for mistakes.