A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.

A superconducting quantum computer is part of a network that is mining an experimental cryptocurrency called Quip, and it is ...

Whenever I get coffee with a mathematician, I always ask which of the seven Millennium Problems they think will be next to ...

These are math’s most famous open questions. Solve one, and you’ll win a $1-million prize—but it’s only happened once since ...