The International Math Olympiad (IMO) is a brainy battleground where the world’s most talented teenage mathematicians wrestle with devilishly difficult math problems. It’s long been considered a ...

What if the secrets to the universe’s most perplexing mathematical riddles were no longer locked away, but instead cracked open by an artificial mind? In a new development, OpenAI’s o3-mini model has ...

When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works.

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

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