A dribble and a jump shot, followed by a fractions task. That is what physical education classes looked like for a group of pupils, and the pupils not only found the lessons more engaging than ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with ...

An experiment with 2,520 participants backs Richard Feynman’s answer to every diner’s dilemma: do I want to try something new ...

A seemingly simple set of rules kicks off a kind of mathematical magic trick, which has kept great minds busy since the 1930s ...

In 1946, the mathematician Paul Erdős posed the unit distance problem—and suggested a winning strategy. An A.I. model has now ...

By encoding mathematical statements into numbers, mathematician Kurt Gödel used ordinary arithmetic to check whether a ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.

Tests of how well 19 large language models (LLMs) complete and perform complicated multi-step tasks has shown that they are both error-prone and, in many cases, unreliable. They said that the ...