A team led by the chief scientist, Ilya Sutskever, made a breakthrough earlier this year that allowed the company to build a model that could solve math problems, a report said.

However, they’re nowhere near as good at solving math problems, which tend to involve logical reasoning—something that’s beyond the capabilities of most current AI systems.

Chinese AI lab DeepSeek has quietly updated Prover, its AI system that's designed to solve math-related proofs and theorems.

An AI system developed by Google DeepMind, Google's premiere AI research lab, has surpassed the average gold medalist in solving geometry problems in an international mathematics competition.

They can answer questions only after mathematicians translate the questions into Lean, a computer programming language designed for solving math problems.

FrontierMath, a new benchmark from Epoch AI, challenges advanced AI systems with complex math problems, revealing how far AI still has to go before achieving true human-level reasoning.

Phi-4 and an rStar-Math paper suggest that compact, specialized models can provide powerful alternatives to the industry’s largest systems.