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

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

A ripple tells you something happened, but not exactly what. That is the core problem behind a hard class of equations that ...

At the 2024 International Mathematical Olympiad (IMO), one competitor did so well that it would have been awarded the Silver Prize, except for one thing: it was an AI system. This was the first time ...

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

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 hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...

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

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

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

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

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

UC San Diego is trying to solve a math problem. The university said a growing number of students are starting their freshman year lacking high school math proficiency. KPBS reporter Jacob Aere says ...