VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using ...

Mathematics has always demanded patience. From solving linear equations in algebra to navigating derivatives and integrals in ...

OpenAI's GPT-5.4 Pro has solved an open math problem unsolved since 2019, with Epoch AI independently verifying the first AI ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company ...

A key part—though surely not the only part—of early-grades math is ensuring students get the basic arithmetic functions down and, beyond that, making sure they’re able to swiftly and automatically ...

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

As interest in chatbots spreads like wildfire, mathematicians are beginning to explore how artificial intelligence (AI) could help them to do their work. Whether it’s assisting with verifying ...

Alan Veliz-Cuba has received funding from the Simons Foundation and the American Mathematical Society for some of his research. You can probably think of a time when you’ve used math to solve an ...

As a mathematics education researcher, I study how math instruction impacts students' learning, from following standard math procedures to understanding mathematical concepts. Focusing on the latter, ...