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 ...
Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot ...
The International Math Olympiad (IMO) is a challenging math competition that has been held annually since 1959. AI models from Google DeepMind and OpenAI received gold medal scores in IMO for the ...
LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...
Math often feels disconnected from the real lives of students. They learn the steps, solve equations and check their work, but they struggle to see the usefulness of math skills. For decades, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results