Print Join the Discussion View in the ACM Digital Library The mathematical reasoning performed by LLMs is fundamentally different from the rule-based symbolic methods in traditional formal reasoning.

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

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the backbone of AI, but mathematicians are also turning to these tools for tasks ...

Math often feels disconnected from the real lives of students. They learn the steps, solve equations and check their work, ...

Large language models struggle to solve research-level math questions. It takes a human to assess just how poorly they ...

Teacher shares how students can quickly recognize and classify mixed-concept numericals chapter-wise.

Four simple strategies—beginning with an image, previewing vocabulary, omitting the numbers, and offering number sets—can have a big impact on learning.

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

An analysis of data from 200,000 students using a computer-assisted math program supports an optimistic view of skill-focused, mastery-based learning, even with limited use.

These low-floor, high-ceiling problems support differentiation, challenging all students by encouraging flexible thinking and allowing for multiple solution paths.

The CBSE Class 12 Mathematics exam will be conducted on March 9, 2026. Experts share how the class 12 students can design a realistic 15-day study timetable for upcoming board exams.