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

“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...

OpenAI’s GPT-5.2 Pro does better at solving sophisticated math problems than older versions of the company’s top large ...

OpenAI has achieved a new milestone in the race to build AI models that can reason their way through complex math problems. On Saturday, the company announced that one of its models achieved gold ...

When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works. In October 2024, news broke that Facebook parent company Meta had cracked an "impossible" problem ...

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...

New research shows that advances in technology could help make future supercomputers far more energy efficient. Neuromorphic computers are modeled after the structure of the human brain, and researche ...

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

Among high school students and adults, girls and women are much more likely to use traditional, step-by-step algorithms to ...

Can you predict whether a passenger would have survived the sinking of the Titanic based on factors like gender and income? How do you know if a mushroom is poisonous or safe to eat? What separates a ...

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

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