Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the backbone of AI, but mathematicians are also turning to these tools for tasks ...

The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

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

Those changes will be contested, in math as in other academic disciplines wrestling with AI’s impact. As AI models become a ...

MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

The original version of this story appeared in Quanta Magazine. All of modern mathematics is built on the foundation of set theory, the study of how to organize abstract collections of objects. But in ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...

One idle evening last October, Mehtaab Sawhney took up an old pastime. He began perusing the website erdosproblems.com, an updated record of the 1,179 conjectures left behind by the eccentric and ...

Forbes contributors publish independent expert analyses and insights. Linda Darling-Hammond is an expert on education research and policy. PISA scores reveal deep problems in how the United States ...

For Sarthak Dassarma ’26, mathematics isn’t a set of rules to memorize—it’s a story, and the Putnam Competition is just his ...