Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

Ben Liu is a quantitative problem solver. Liu has modeled aspects of cells and measured the limits of cardio-electrophysiological models as an undergraduate in RIT’s School of Mathematical Sciences.

As interest in chatbots spreads like wildfire, mathematicians are beginning to explore how artificial intelligence (AI) could help them to do their work. Whether it’s assisting with verifying ...

Mathematical language processing and problem solving represent a confluence of artificial intelligence, natural language processing and symbolic reasoning, aiming to bridge the gap between human ...

A key part—though surely not the only part—of early-grades math is ensuring students get the basic arithmetic functions down and, beyond that, making sure they’re able to swiftly and automatically ...

Do you stare at a math word problem and feel completely stuck? You're not alone. These problems mix reading comprehension ...