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

Mathematician Richard Evan Schwartz of Brown University tackled the problem in a recent study by working backward from an existing polyhedral torus to answer questions about what would be needed to ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.

Visually, the “Klein bottle” doesn’t seem all that impressive. On first glance it looks like a trendy Japandi-style vase. And yet it has fascinated mathematicians for more than 140 years. To ...

When a delicate object crashes onto the floor, most people expect it to shatter into several pieces. What they might not know, however, is that the sizes of those fragments—whether from a broken plate ...

President Donald Trump keeps touting the fact that Walmart’s promotional Thanksgiving meal basket is cheaper this year than it was last year. But Trump hasn’t mentioned that this year’s basket is ...

A slick math trick offers a new way to return a rotated object to its original state By Stephen Ornes October 31, 2025 ...

SPONSORED – Mathnasium is offering a unique approach to learning math as students head back to school this fall. The math learning center provides a different approach to learning math compared to ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...