Back in the seventies, the mathematics department at the Soviet Union’s Moscow State University (one of the most prestigious departments in the USSR at the time) used a special collection of math ...

They had to throw away most of what it produced but there was gold among the garbage. Google DeepMind has used a large language model to crack a famous unsolved problem in pure mathematics. In a paper ...

Ever wondered how your mind deals with complex sums and multiplications? A new study has imaged how the brain's activity levels change while taking on serious math problems, and reveals for the first ...

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

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

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

Math teachers have stymied students for hundreds of years by sticking goats in strangely shaped fields. Learn why one grazing goat problem has stumped mathematicians for more than a century. If you’ve ...