The busy beaver function is unpredictable. But now, after more than 40 years, the fifth value of the function has been revealed For more than 40 years, many experts assumed that BB(5) could lie beyond ...

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

In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with confidence that every piece is correct. For some, this heralds a new area in ...

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...