Jin Shanmu, a Beijing-based neurosurgeon, was trying to solve a problem related to brain ultrasounds. Instead, he made mathematical history.

Jin Shanmu, a Beijing-based neurosurgeon, was trying to solve a problem related to brain ultrasounds. Instead, he made mathematical history.

A Beijing neurosurgeon has used artificial intelligence to solve a decades-old mathematical problem. ChatGPT autonomously generated a proof for Crouzeix's conjecture after a…