Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

In 2019, mathematicians finally solved a math puzzle that had stumped them for decades. It’s called a Diophantine Equation, and it’s sometimes known as the “summing of three cubes”: Find x, y, and z ...

Calcea Johnson and Ne'Kiya Jackson, who surprised the math world when they produced innovative solutions to a 2,000-year-old puzzle, wowed the math world again when they presented several new ways of ...

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the ...

In the early 1930s, the renowned Hungarian mathematician Paul Erdős set forth a puzzle. Erdős offered $500 to anyone who could crack it. Called the Erdős discrepancy problem, a puzzle that surmised ...

UC Berkeley math professor Nikhil Srivastava met with researchers on a mission to create a new way of assessing the mathematical capabilities of AI.