A game of chess requires its players to think several moves ahead, a skill that computer programs have mastered over the years. Back in 1996, an IBM supercomputer famously beat the then world chess ...

An indie dev has made a shooter that revolves around math. Get your division skills up to snuff before you load in.

Google's second generation of its AI mathematics system combines a language model with a symbolic engine to solve complex geometry problems better than International Mathematical Olympiad (IMO) gold ...

What if the next new mathematical discovery didn’t come from a human mind, but from an AI? Imagine a machine not just crunching numbers but proposing original solutions to problems that have baffled ...

Alan Veliz-Cuba has received funding from the Simons Foundation and the American Mathematical Society for some of his research. You can probably think of a time when you’ve used math to solve an ...