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

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

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

How much longer will we keep trying to solve our nation’s dismal math proficiency problem by writing new math problems? Clearly, if that was the answer, it would have worked by now–but it hasn’t, as ...

Researchers have developed an artificially intelligent system that does the exact opposite of living in the moment. But it doesn’t just think a few steps ahead—it thinks millions of steps ahead. A ...

The speed at which artificial intelligence is gaining in mathematical ability has taken many by surprise. It is rewriting what it means to be a mathematician ...

One idle evening last October, Mehtaab Sawhney took up an old pastime. He began perusing the website erdosproblems.com, an updated record of the 1,179 conjectures left behind by the eccentric and ...

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

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

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