24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

The original version of this story appeared in Quanta Magazine. All of modern mathematics is built on the foundation of set theory, the study of how to organize abstract collections of objects. But in ...

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the backbone of AI, but mathematicians are also turning to these tools for tasks ...

OpenAI has achieved a new milestone in the race to build AI models that can reason their way through complex math problems. On Saturday, the company announced that one of its models achieved gold ...

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...

Quantum computers could soon be able to solve genuinely useful mathematical problems faster than classical computers, claims quantum computing firm Quantinuum. It would be the first example of these ...

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 ...

Forbes contributors publish independent expert analyses and insights. Linda Darling-Hammond is an expert on education research and policy. PISA scores reveal deep problems in how the United States ...

(THE CONVERSATION) Among high school students and adults, girls and women are much more likely to use traditional, step-by-step algorithms to solve basic math problems – such as lining up numbers to ...

Math is the sum of its parts, and it adds on itself. What does that mean? It means that multiplication is just repeated addition. And that mastering the times tables will help students simplify ...