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.1
If we express y from x + y = 2 and substitute it back into x y = 2, then we immediately obtain the quadratic equation