Can Large Language Models replace mathematicians?

Exploring the mathematical thinking of humans and LLMs

Around the 16th century, aristocrats had a strange way of determining who the king of the hill was: solving algebraic equations. One particular problem was the following: find two numbers whose sum and product are equal to two; that is,

hold.¹

If we express y from x + y = 2 and substitute it back into x y = 2, then we immediately obtain the quadratic equation