It screws up if you ask it to use 10,000 which is what Dr. Loh gave it per his interview. I just tested it, gave me this big long proof and says Therefore, the

It screws up if you ask it to use 10,000 which is what Dr. Loh gave it per his interview. I just tested it, gave me this big long proof and says Therefore, the largest fraction less than 1/2 with a numerator and denominator that are positive integers less than or equal to 10000 is 9999/10000