A brainy riddle that's stumped mathematicians since World War II appears to have been cracked via artificial intelligence.

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

OpenAI says its latest AI model has solved a mathematical problem that has been unsolved for 80 years. Here is what this ...

OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed ...

A ripple tells you something happened, but not exactly what. That is the core problem behind a hard class of equations that scientists use when they try to work backward from what they can measure to ...

Modeling how cars deform in a crash, how spacecraft responds to extreme environments, or how bridges resist stress could be made thousands of times faster thanks to new artificial intelligence that ...

Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help scientists uncover hidden causes behind observable effects. By introducing ...

Fields medalist Terence Tao is part of Team ALPHA, which aims to develop artificial intelligence tools to transform how mathematical discoveries are made, formalized and verified.