A team of researchers led by Peking University has developed an artificial intelligence (AI) system capable of solving and verifying an open mathematical problem without meaningful human intervention.

A new study finds that a consumer AI model can help generate novel mathematical proofs, hinting at a shift in how theoretical research is conducted. Credit: Shutterstock New research has found ChatGPT ...

Kendra Pierre-Louis: For Scientific American’s Science Quickly, I’m Kendra Pierre-Louis, in for Rachel Feltman. In 1997, Deep Blue, a supercomputer built by IBM, did the unexpected: it defeated chess ...

OpenAI’s GPT-5.4 Pro has solved an open mathematical problem that human researchers could not crack since 2019, according to independent verification by Epoch AI. Contributed by mathematicians Will ...

Not many startups can say they were formed by some of the world’s largest companies. Yet that’s exactly how ChargeScape was created. In 2024, four global automakers— BMW, Ford, Honda, and Nissan—came ...

A new AI framework called THOR is transforming how scientists calculate the behavior of atoms inside materials. Instead of relying on slow simulations that take weeks of supercomputer time, the system ...

Some readers may solve the problem procedurally: line up the two numbers, add the ones column, carry the one, and add the tens to get 43. Others might instead notice a creative shortcut: 29 + 14 is ...

GPT just keeps getting better at mathematics, increasingly solving the trickiest of problems. In January, AI testing company Epoch AI found that a previous version of the AI model, GPT-5.2 Pro had ...

Let’s keep things simple – this is basic math. Nothing scary. Just everyday calculations, a bit of geometry, some number patterns, and the kind of stuff you definitely learned in school at some point.

“AI can’t do math” is no longer true. Our team has been using Creatium Studio’s math capabilities to create interactive videos….Our partnership has yielded innovative solutions, and it is a pleasure ...

Add Yahoo as a preferred source to see more of our stories on Google. AI tools helped solve around 100 extant problems left behind by one of the 20th century’s greatest mathematicians. Hungarian Paul ...