Henry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers.

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

Another day, another Google AI model. Google has really been pumping out new AI tools lately, having just released Gemini 3 in November. Today, it’s bumping the flagship model to version 3.1. The new ...

Cognitive overload can create a bottleneck during math lessons, but there are simple strategies to clear up students’ brain space for complex problem-solving.

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.

Artificial intelligence companies are urging teachers to prepare students for an “A.I.-driven future.” What that means varies ...

Google DeepMind’s AlphaProof system scored at a silver-medal level when tested against the 2024 International Mathematical ...

A new study provides evidence that pigeons tackle some problems just as artificial intelligence would -- allowing them to solve difficult tasks that would vex humans. A new study provides evidence ...

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

The fourth edition of the national robotics competition, held alongside the third AI ideathon, in line with the country’s ambition to nurture innovators, took place on Saturday, February 21. The ...