Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the ...

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from ...

Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot ...

Do you stare at a math word problem and feel completely stuck? You're not alone. These problems mix reading comprehension ...

Mathos AI Mathos AI is a modern math assistant designed to make problem-solving easier and faster for students and educators alike. It allows users to type out a math problem or snap a picture of it, ...

What if a machine could think as deeply as a human mathematician, solving problems so intricate they stump even the brightest minds? Enter Gemini Deep Think, an advanced AI model that has not only ...

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

One would imagine that an AI capable of solving the hardest Olympiad problems would naturally produce novel scientific ...

Adaptability. Problem-solving. Emotional intelligence. These are some of the most important skills students will need in a world increasingly powered by artificial intelligence. And math class is the ...