Can you predict whether a passenger would have survived the sinking of the Titanic based on factors like gender and income? How do you know if a mushroom is poisonous or safe to eat? What separates a ...

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, ...

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

The original version of this story appeared in Quanta Magazine. At the turn of the 20th century, the renowned mathematician David Hilbert had a grand ambition to bring a more rigorous, mathematical ...