This year has left mathematicians reeling as AI models are increasingly solving seemingly intractable maths problems. Terence ...

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...

AI will likely transform how research in the field is conducted. But it would be premature to conclude that it can solve ...

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, ...

Every generation faces its fair share of advantages and challenges, and that will never change. Currently, a growing number ...

Graniterock held its 16th annual Algebra Academy in July, designed to give middle school students a head start on advanced ...

Hybrid hash function post-quantum cryptography research: a new paper on IACR ePrint formalizes a construction whose collision resistance simultaneously requires breaking both the elliptic-curve ...

Disproving the Jacobian conjecture marks the latest high-profile win in a historic year for frontier AI models in theoretical mathematics. (Image created with AI) An Anthropic researcher just gave ...

The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished mathematicians for almost 90 years. It was included in "Smale's problems," a list of ...

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

Follow along as we work through the clues and logic behind a dial combination puzzle, exploring the steps needed to reach the solution. Iran rejects US ceasefire proposal Princess Lilibet's tumbling ...

Only Slate Plus members can gift Slate stories. Become a member to share 10 free articles a month. Sign up for the Slatest to get the most insightful analysis, criticism, and advice out there, ...