Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...

Multiplication and long division rarely get pep rallies. But Michaela Sicuranza, a 5th grade teacher at Sinking Springs Elementary, in York, Pa., thinks building an exciting, competitive identity ...

Across the country, educators continue to wrestle with big questions about math curricula. Two years ago, the California education board’s adoption of a long-gestating new math framework added more ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.