Professor Tristan Buckmaster said he and Anthropic researcher Levent Alpöge have spent much of the past year working on the Navier-Stokes problem.

Despite the greatest strides in mathematics, these hard math problems remain unsolved. Take a crack at them yourself.

A team of AI researchers and mathematicians affiliated with several institutions in the U.S. and the U.K. has developed a math benchmark that allows scientists to test the ability of AI systems to solve exceptionally difficult math problems. Their paper is ...