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

Postdoctoral Researcher in statistical signal processing.

The company announced the availability of MongoDB 8.3, building on previous generations of the database software with ...

One of the biggest barriers for secondary English learners in math is not computation, but language. The subject’s complex ...

Python’s rich ecosystem of libraries like NumPy and SciPy makes it easier than ever to work with vectors, matrices, and linear systems. Whether you’re calculating determinants, solving equations, or ...

Signal processing in Python is more approachable than ever with libraries like NumPy and SciPy. These tools make it easy to filter noise, analyze frequencies, and transform raw signals into meaningful ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

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

In March 2025, mathematician Daniel Litt made a bet. Despite the march of progress of artificial intelligence in many fields, he believed his subject was safe, wagering with a colleague that there was ...

Over the past couple of months, several researchers have begun making the same provocative claim: They used generative-AI tools to solve a previously unanswered math problem. The most extreme promises ...

Large language models struggle to solve research-level math questions. It takes a human to assess just how poorly they perform. By Siobhan Roberts A few weeks ago, a high school student emailed Martin ...