A mathematical breakthrough made this year is so complex that other mathematicians struggled to understand it, but it has already led to progress in other areas of maths. In May, Sam Raskin at Yale ...

AG2 is better than the first version thanks to a neural language model trained on a larger and more diverse data set, alongside a faster symbolic engine primed to verify more geometric constructions.

Landmark results in geometry and number theory marked an exciting year for mathematics, at a time when advances in artificial intelligence are starting to transform the subject’s future. In May, a ...

In their peer-reviewed work, Calcea Johnson and Ne'Kiya Jackson present five new ways of proving Pythagoras' Theorem via trigonometry. They also detail a new method for finding proofs that yield at ...

Mathematicians have long wondered how “shapes of constant width” behave in higher dimensions. A surprisingly simple construction has given them an answer. In 1986, after the space shuttle Challenger ...