My colleague Sarah Sparks has written a fascinating article about research that shows just what is going on inside a child’s head when that child is doing tasks such as cutting out shapes or coloring ...

Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...

Teachers can use these tools to promote discussions and help students move from concrete to abstract understanding of concepts.

A team of Apple researchers has released a paper scrutinising the mathematical reasoning capabilities of large language models (LLMs), suggesting that while these models can exhibit abstract reasoning ...

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

The current class of AI models, which work by statistically predicting the next word, have struggled with abstract math, which requires greater reasoning capabilities resembling human intelligence ...

The education platform rolled out internationally integrated mathematics classes using concrete-pictorial-abstract ...

Alphabet's Google unveiled a pair of artificial intelligence systems on Thursday that demonstrated advances in solving complex mathematical problems, a key frontier of generative AI development. The ...