“It’s about being able to step back and look at your result. Does it make sense?” says Stefan Funk, a particle physicist who ...
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 ...
A year ago, AlphaGeometry, an AI problem solver created by Google DeepMind, surprised the world by performing at the level of silver medallists in the International Mathematical Olympiad (IMO), a ...