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):

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.