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

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...

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

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 verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...

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

Quantum computers could soon be able to solve genuinely useful mathematical problems faster than classical computers, claims quantum computing firm Quantinuum. It would be the first example of these ...

Math is the sum of its parts, and it adds on itself. What does that mean? It means that multiplication is just repeated addition. And that mastering the times tables will help students simplify ...

(THE CONVERSATION) 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 ...

The need for remedial math education at UC San Diego has soared over the last five years according to a report published this month by the university’s Senate Administration Workgroup on Admissions.

Word problems try and tell students a story about the math problem in front of them. They are a useful way to connect abstract numbers to concrete situations, so students can learn early on to apply ...