I asked it to give me a proof, and it just outputed some Python code.

>Prove the last digit of pi is 3.

    import math

    def main(): for n in range(1000): x = math.sin(math.pi * n) if x > 0.99: break else: print("error")

    main()

Hard to argue with that.