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

The Greek philosopher Plato wrote about Socrates challenging a student with the "doubling the square" problem in about 385 B.C.E. When asked to double the area of a square, the student doubled the ...

Google DeepMind announced on 21 July that its software had cracked a set of maths problems at the level of the world’s top secondary-school students, achieving a gold-medal score on questions from the ...

See the world through the lens of science. Sign up for our free, daily newsletter Today in Science. As a child of the 1990s, I couldn’t avoid the game-turned-best-seller Tetris. Launched in 1984 by ...

Through a Summer Undergraduate Research Fellowship, Jenny Quan is exploring the mathematical principles behind Rubik's cubes.

Simple math equations grow harder when we're out of practice. As time goes on we forget the elementary rules of math and compound problems become more and more challenging. That's why a simple math ...

This is read by an automated voice. Please report any issues or inconsistencies here. To the editor: The importance of math literacy cannot be overstated (“Math crisis began a decade ago and has only ...