Tao: Today there are a lot of very tedious types of mathematics that we don’t like doing, so we look for clever ways to get ...

Engineers design safer cars, more resilient spacecraft, and stronger bridges using complex math problems that drive the underlying processes. Similarly, doctors use mathematical models to predict ...

OpenAI’s unreleased model solved five of 10 unpublished research-level math problems and proposed a breakthrough physics formula, signaling a new era for AI in science.

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

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

Google’s AI R&D lab DeepMind says it has developed a new AI system to tackle problems with “machine-gradable” solutions. In experiments, the system, called AlphaEvolve, could help optimize some of the ...