These student-constructed problems foster collaboration, communication, and a sense of ownership over learning.

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new ...

Zachary Champagne’s 3rd and 4th graders figure out early on that this math class will be different when their teacher tells them: “I don’t care about the answer.” The goal is to shift his elementary ...

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.

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

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

AI systems are beginning to produce proof ideas that experts take seriously, even when final acceptance is still pending.

Large Language Models (LLMs) have ushered in a new era of artificial intelligence (AI) demonstrating remarkable capabilities in language generation, translation, and reasoning. Yet, LLMs often stumble ...