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

After years of assigning the kind of homework she had done as a student and observing students’ disengagement with it, a teacher overhauled how she assigns math practice.

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

Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the ...

Engineers at the University of California San Diego have developed a new way to train artificial intelligence systems to ...

A marriage of formal methods and LLMs seeks to harness the strengths of both.

... Read more ...

Decades of cognitive research reveal that parrots can understand what numbers represent. Here’s how these birds use them to ...