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 ...
China-born Carina Hong, a 24-year-old Stanford dropout, has drawn an elite group of AI researchers and a world-renowned ...
OpenAI Group PBC today launched GPT-5.2, its newest and most capable large language model. The LLM is available in three versions: Instant, Thinking and Pro. OpenAI says that the latter two editions ...
Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...
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 ...
Google's second generation of its AI mathematics system combines a language model with a symbolic engine to solve complex geometry problems better than International Mathematical Olympiad (IMO) gold ...
At just 24, Carina Hong has become one of the most talked-about young figures in AI, a China-born mathematician who dropped ...