You’ve no doubt seen some version of this viral math problem making the rounds on Facebook, Reddit or X (though we’ve given ...

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

A year ago AlphaGeometry, an artificial-intelligence (AI) problem solver created by Google DeepMind, surprised the world by performing at the level of silver medallists in the International ...

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

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...

Apple's release of iOS 18.1 builds on the groundbreaking features of iOS 18, offering users new capabilities and fixes. Among the best updates in iOS 18 is the enhanced Messages app, which now lets ...

What if the secrets to the universe’s most perplexing mathematical riddles were no longer locked away, but instead cracked open by an artificial mind? In a new development, OpenAI’s o3-mini model has ...

UC San Diego is trying to solve a math problem. The university said a growing number of students are starting their freshman year lacking high school math proficiency. KPBS reporter Jacob Aere says ...