Meta's work made headlines and raised a possibility once considered pure fantasy: that AI could soon outperform the world's best mathematicians by cracking math's marquee "unsolvable" problems en ...

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

Engineers design safer cars, more resilient spacecraft, and stronger bridges using complex math problems that drive the underlying processes. Similarly, doctors use mathematical models to predict ...

China-born Carina Hong, a 24-year-old Stanford dropout, has drawn an elite group of AI researchers and a world-renowned ...

Google’s AI R&D lab DeepMind says it has developed a new AI system to tackle problems with “machine-gradable” solutions. In experiments, the system, called AlphaEvolve, could help optimize some of the ...

Organizational strategies that help students break complex word problems into manageable chunks may be the key to solving them, according to a 2025 study.

Mention of a college math competition conjures up images of diligent students, clad in polo-shirted uniforms, huddled over a red buzzer, whispering about factorials. They boast catchy team names like ...