They added that although the AI could solve the problem on its own, guidance from a mathematician could speed up the process.
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, ...