ChatGPT reportedly found a more elegant proof for a theorem that took six months to prove

A user says they saw a video about a math PhD and her advisor who spent six months proving a theorem, then asked ChatGPT before publishing. In the user’s account, ChatGPT quickly found a more elegant proof using an approach they hadn’t considered. The user compares the experience to coding’s shift toward AI and argues that deep expertise and knowing how to use AI remain valuable.