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

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...

Current AI models struggle to solve research-level math problems, with the most advanced AI systems we have today solving just 2% of the hundreds of challenges faced. When you purchase through links ...

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

A.I.’s math problem reflects how much the new technology is a break with computing’s past. By Steve Lohr In the school year that ended recently, one class of learners stood out as a seeming puzzle.

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

Driven by new technology called OpenAI o1, the chatbot can test various strategies and try to identify mistakes as it tackles complex tasks. By Cade Metz Reporting from San Francisco Online chatbots ...

The employment future looks bright for people with strong math skills. But among the nation’s K-12 students, that represents a small and dwindling demographic. What’s to blame for students’ poor math ...

Simple math equations grow harder when we're out of practice. As time goes on we forget the elementary rules of math and compound problems become more and more challenging. That's why a simple math ...