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

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 mathematics, the axiom of equality states that a number is always equal to itself. This axiom is derived from the mathematician Euclid’s notion that “things which are equal to the same thing are ...

China-born Carina Hong, a 24-year-old Stanford dropout, has drawn an elite group of AI researchers and a world-renowned mathematician to Axiom Math, her startup building an AI mathematician. Hong’s ...

Investors usually fund startups based on metrics involving revenue, profits or product usage. But investors backing newer AI ...