Yuchen Jin says ChatGPT found a more elegant proof than a mathematician's team

Yuchen Jin, posting on X, says ChatGPT produced a more elegant proof of a theorem that a math PhD student and her advisor had spent six months working on, using an approach they had not considered.

The account comes from a video Jin describes; the report does not independently verify the proof or its comparison.

Jin argues mathematicians should not despair over AI, pointing to software developers who now rely on AI tools, and says deep domain expertise combined with skill in using AI is a strong advantage.