@nixCraft petition to change ChatGPT’s value of pi to have 38 decimal places so it claims the last three digits of pi are 420