AlphaProof showed its prowess on questions from this year’s Mathematical Olympiad — a step in the race to create substantial proofs with artificial intelligence. After beating humans at everything ...

Among high school students and adults, girls and women are much more likely to use traditional, step-by-step algorithms to solve basic math problems – such as lining up numbers to add, starting with ...

Amateur mathematicians are using artificial intelligence chatbots to solve long-standing problems, in a move that has taken professionals by surprise. While the problems in question aren’t the most ...

What if the next new mathematical discovery didn’t come from a human mind, but from an AI? Imagine a machine not just crunching numbers but proposing original solutions to problems that have baffled ...

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

An artificial intelligence tool that hunts for unintuitive mathematical patterns appears able to tackle a wide range of maths problems, including some that haven’t seen progress for decades. AI models ...