Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Add Yahoo as a preferred source to see more of our stories on Google. Applied mathematicians use math to model real-world situations. Ariel Skelley/DigitalVision via Getty Images You can probably ...

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts for 80 years. This was considered among the most important unsolved ...

Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early ...

Forbes contributors publish independent expert analyses and insights. Dr. Lance B. Eliot is a world-renowned AI scientist and consultant. In today’s column, I examine a recently heralded victory by ...

In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...

We've all been there: staring at a math test with a problem that seems impossible to solve. What if finding the solution to a problem took almost a century? For mathematicians who dabble in Ramsey ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...