In 1945, as the first atomic bomb exploded in the New Mexico desert, Enrico Fermi stood miles away, holding a few scraps of ...

Bitcoin miners don't solve complex math problems - they guess numbers. While "solving mathematical puzzles" has become a common description of bitcoin mining, the process more closely resembles a ...

In a remarkable leap for neuroscience, lab-grown mini-brains, or brain organoids, have demonstrated the ability to solve math problems. These innovative developments provide new insights into ...

Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...

AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...

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

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

It’s hard to predict the future, especially when it comes to artificial intelligence. But in a recent survey, the EdWeek Research Center asked math teachers to look ahead five years and imagine the ...