But it still gets things wrong and makes stuff up. Researchers such as Achim are beginning to address these problems through mathematics. With math, you can formally prove whether an answer is ...