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

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we ...

Math scores across the board have risen in the years after the pandemic, but a stubborn gap remains between poor schools and the state average.

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

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.

Students from Beaty-Warren Middle School, Sheffield Area Elementary/Middle School, Youngsville Elementary/Middle School and ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...

eSpeaks’ Corey Noles talks with Rob Israch, President of Tipalti, about what it means to lead with Global-First Finance and how companies can build scalable, compliant operations in an increasingly ...

According to Greg Brockman (@gdb) and Terence Tao, GPT-5.2 Pro has reached a significant milestone by independently solving an Erdos problem—a first for large language models (LLMs). This achievement ...