A team of AI researchers and mathematicians affiliated with several institutions in the U.S. and the U.K. has developed a math benchmark that allows scientists to test the ability of AI systems to ...

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

Answer: 42.5 (Subtract 36 from 49, divide the answer by two. Add that number to 36 to get the answer). Answer: 888 + 88 + 8 + 8 + 8 = 1,000. What number do you get if you multiply all the numbers on a ...

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

Google DeepMind’s AlphaProof system scored at a silver-medal level when tested against the 2024 International Mathematical Olympiad, solving problems that have historically separated elite human ...

Ramsey problems, such as r(4,5) are simple to state, but as shown in this graph, the possible solutions are nearly endless, making them very difficult to solve. We’ve all been there: staring at a math ...

Mathematics is often regarded as the ideal domain for measuring AI progress effectively. Math’s step-by-step logic is easy to track, and its definitive automatically verifiable answers remove any ...