This Oxford University entrance exam question illustrates the systematic, first principles reasoning that all good mathematicians use, and which GPT4 still struggles with — Many of us are familiar with the rules of the sides of a right angled triangle. By the Pythagorean Theorem, if a and b are the two smaller sides, and c is the longest side, then a² + b² = c². Well known integer solutions to this are known as…