Chinese doctor solves decades-old math problem with help from ChatGPT - Interesting Engineering

Chinese doctor cracks decades-old math problem with help from ChatGPT. (Representational image) Getty Images Jin Shanmu is a postdoctoral researcher at the Peking Union Medical College in Beijing, China, and also the cynosure of mathematicians from around the globe after he proved the famous Crouzeix’s conjecture with a little bit of help from ChatGPT. The math problem had troubled mathematicians for over two decades but was solved by Jin after the release of OpenAI’s latest reasoning model. While most people have looked at the availability of tools like ChatGPT and Claude to get away from their dreary work, for some like Jin Shanmu, it has opened up new opportunities for learning and discovery. The lazy ones among us ask AI tools to make presentation slides or give us a summary of a long memo the HR sent last week. Still, Jin, who has limited math education, was using the tool to research transcranial ultrasounds. If the sound of the technical term is making you look for something more palatable to read, know this first: Jin is a doctor, but he graduated with geology as his undergraduate major. So before stumbling across a famous math problem, Jin put himself through medical school and then began research using ultrasound scans of the brain, where he eventually did something incredible. What is Crouzeix’s Conjecture? Crouzeix’s Conjecture is a problem about matrices, which are typically used to solve linear equations or handle large amounts of data in computer science or physics. Matrices store values in a rectangular grid of numbers or symbols. These matrices can use mathematical operations like addition, subtraction, and multiplication among themselves and lead to the formation of new matrices that store the result of the operation in them. More from AI and Robotics See All AI and Robotics Watch: Deep Robotics humanoid robot conquers real-world concrete stairs, rough terrain AI and Robotics LG plans to unveil bipedal humanoid robot with NVIDIA in first quarter of 2027 AI and Robotics China: World Humanoid Robot Games to see 2,056 machines competing for top prize AI and Robotics Samsung’s humanoid robot is quietly developing with lower actuator costs: Reports AI and Robotics BYD unveils 5.2-feet-tall Xiao Di humanoid robot on showroom floors in China About two decades ago, French mathematician Michel Crouzeix posited that any function applied to a matrix is no larger than twice the function’s maximum value. While abstract, it has been a hurdle for mathematicians ever since. With the advent of large language models (LLMs) and tools like ChatGPT , mathematicians too began using them to solve such problems that have remained unsolved for years. Alex Townsend, a mathematician at Cornell University, and Anne Greenbaum, a professor at the University of Washington, too were using GPT models to solve Crouzeix’s Conjecture for the past year but late last month, came across a surprise. When AI solves your problems Townsend had been prompting AI to solve the Crouzeix’s Conjecture, but for this attempt on July 30, ChatGPT informed him that the problem had been solved three days ago. When Townsend dug deeper, he found a paper submitted by Jin in which he given a definitive answer for the math problem. Although the paper is not peer-reviewed, Townsend reviewed the manuscript and even shared it with Greenbaum and Crouzeix, who confirmed that Jin’s proof was correct. While this manuscript shows the thirst for knowledge that Jin has, it also showcases the capability of models like ChatGPT, which have helped him crack the math, even without highly specialized training in the subject. One can credit this to AI because earlier in May OpenAI confirmed that a general-purpose reasoning model it had tested internally was able to solve the planar unit distance problem, posed by Paul Erdos, a Hungarian mathematician, way back in 1945. Earlier this month, the company also listed 10 other mathematical problems that its upcoming model, Astra, has nearly solved or made major progress on. Competing AI company Anthropic, whose Claude model is widely used by businesses, also said the latest version of its model is attempting to solve the famous Riemann hypothesis, showing once again that AI could answer major math puzzles that have been pending for decades, the South China Morning Post reported. Get the latest in engineering, tech, space & science - delivered daily to your inbox. Sign up for free By subscribing, you agree to our Terms of Use and Policies You may unsubscribe at any time. Subscribe to Today! Access to exclusive content, expert insights and a deeper dive into engineering and tech. No ads, no limits. Explore Now! By Ameya Paleja Ameya is a science writer based in Hyderabad, India. A Molecular Biologist at heart, he traded the micropipette to write about science during the pandemic and does not want to go back. He likes to write about genetics, microbes, technology, and public policy. TRENDING LATEST 1 2x energy density for electric vessels unlocked by immersion-cooled battery system 2 Recycling solar waste could lead to trillion dollar benefits by 2060: Study 3 China: World Humanoid Robot Games to see 2,056 machines competing for top prize 4 China, Iran team up to explore and process rare earths amid global supply race 5 Ground-mounted California solar plant delivers 862 MWh, beats expected output by 101%