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

A defining memory from my senior year of high school was a nine-hour math exam with just six questions. Six of the top scorers won slots on the U.S. team for the International Math Olympiad (IMO), the ...

With AI’s ability to solve complex math problems in a matter of seconds, it may feel to teachers like the technology is rapidly changing—or will soon—how math is taught. When free and widely available ...

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

Mathematicians love the certainty of proofs. This is how they verify that their intuition matches observable truth. This logical love of proofs is uniquely suited to opening up the black box of ...

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the backbone of AI, but mathematicians are also turning to these tools for tasks ...

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