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

Utrecht University researchers Rodolfo Subert and Marjolein Dijkstra show in their latest study that complex ...

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.

Dr. Chandrashekhar B. Khare, a mathematician by qualification and music aficionado at heart, creatively recounts his educational and personal journey in his book Chasing Conjecture – Inside the Mind ...

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

Ever dreamt of solving math problems in your head with the speed of a calculator? Mental math might seem challenging, but it's a skill attainable through the right tools and techniques. The abacus, an ...

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

We preselected all newsletters you had before unsubscribing.

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