DeepMind's Aletheia is a huge advance in AI-driven mathematical reasoning. It is a research agent built on top of Gemini Deep ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

When Hannah Cairo started showing up at Berkeley Math Circle meetings as a teenager, nobody was betting she would topple a four-decade-old problem in harmonic analysis before she finished high school.

The New York State Education Department is pushing new math guidelines, including a recommendation that teachers stop giving timed quizzes — because it stresses students out. The new guidelines also ...

Scanning the crowd at a fancy soiree may reveal a wide array of neckties, each fastened with a highly complex mathematical object masquerading as fashion. An entire field of mathematics is devoted to ...

Hannah Cairo found herself stuck on a problem that wouldn’t leave her mind. It wasn’t a regular homework assignment—it was a decades-old mathematical puzzle believed to be true by leading experts in ...

Alabama was the only state to earn a "Strong" rating its math education in a new report from the National Council on Teacher Quality released Tuesday. The state, which has historically leaned red, ...

Mathematicians have finally solved a geometry problem that has puzzled the field for decades. By wiggling a needle around while spinning it, you can minimize the amount of space it moves through, ...