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 16-hour run. Experts have examined and confirmed the mathematical strength of the AI-generated argument. This breakthrough highlights AI's potential to assist researchers outside traditional fields. The development suggests a new model for mathematical discovery with AI assistance.

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…