AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...

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

To learn math, students must build a mental toolbox of facts and procedures needed for different problems. But students who can recall these foundational facts in isolation often struggle to use them ...

Google has introduced another capability for its Circle to Search feature at the company's annual I/O developer conference, and it's something that could help students better understand potentially ...

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

Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...

The Greek philosopher Plato wrote about Socrates challenging a student with the "doubling the square" problem in about 385 B.C.E. When asked to double the area of a square, the student doubled the ...

Mathematicians excel at handling complexity and uncertainty. Mathematical reasoning strategies aren't just useful for dilemmas involving numbers. We can apply math mindsets to improve our approach to ...

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now Artificial intelligence systems may be good ...

We like to think that we're pretty good at math, especially after years of schooling. But every once in a while, a simple third-grade math problem manages to trip us up and make us question our ...