“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...

A team of math and AI researchers at Microsoft Asia has designed and developed a small language model (SLM) that can be used to solve math problems. The group has posted a paper on the arXiv preprint ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...

As a mathematics education researcher, I study how math instruction impacts students' learning, from following standard math procedures to understanding mathematical concepts. Focusing on the latter, ...

September 18, 2025 - Meet Allison Saiki, who teaches students how to manage money, pay rent and open retirement accounts, with a class currency she calls "Saiki Cents." While policymakers, researchers ...

A National Academies of Sciences, Engineering, and Medicine-appointed ad hoc committee will plan and organize a workshop that will bring together academic, industry, and government stakeholders to ...

A sigh of relief is a common reaction when parents find a program to help their children succeed in math. That response is something Anna Toneva experiences often when she gives tours of the Houston ...