A lot of great math movies hinge on the United States not being the anti-intellectual capital of the world. 14 Rubick’s Cube of Death 1997’s Cube was conceived by mad mathematician David W. Pravica.

Jenny Quinn, executive director of the Seattle Universal Math Museum, shows off a solved Fibonacci sequence puzzle. (GeekWire Photo / Maddie Stoll) Jenny Quinn travels with math in her backpack. She ...

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

We've wondered for centuries whether knowledge is latent and innate or learned and grasped through experience, and a new research project is asking the same question about AI. When you purchase ...

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

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

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...