The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...

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

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

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

New computer tools have the potential to revolutionize the practice of mathematics by providing more-reliable proofs of mathematical results than have ever been possible in the history of humankind.

Mathematicians finally understand the behavior of an important class of differential equations that describe everything from ...

How many math lovers live in New York City? It’s a tough count to make, but the Museum of Mathematics made progress at its first anniversary celebration on Thursday, December 5. With a mission to ...