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

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

Bitcoin miners don't solve complex math problems - they guess numbers. While "solving mathematical puzzles" has become a common description of bitcoin mining, the process more closely resembles a ...

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

OpenAI’s GPT-5.2 Pro does better at solving sophisticated math problems than older versions of the company’s top large ...

Math anxiety is a significant challenge for students worldwide. While personalized support is widely recognized as the most ...

Here’s a simple-sounding problem: Imagine a circular fence that encloses one acre of grass. If you tie a goat to the inside of the fence, how long a rope do you need to allow the animal access to ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous mathematical reasoning.

These student-constructed problems foster collaboration, communication, and a sense of ownership over learning.

Four simple strategies—beginning with an image, previewing vocabulary, omitting the numbers, and offering number sets—can have a big impact on learning.