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

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

Claude Sonnet 4.6 sets new alignment records with low misuse; Opus 4.6 still leads on fluid intelligence tests, risk framing shifts.

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.

DeepMind's Aletheia is a huge advance in AI-driven mathematical reasoning. It is a research agent built on top of Gemini Deep ...

Engineers at the University of California San Diego have developed a new way to train artificial intelligence systems to ...

More than 900 students at UC San Diego needed catch-up math classes in the fall of 2025 compared to 32 five years earlier.

In the ChatGPT era, a war over the nature of intelligence is playing out. Chris Stokel-Walker explores a Princeton ...

Google upgrades its Gemini 3 Deep Think AI mode with stronger reasoning and practical problem-solving for science, research, ...

8,000-year-old pottery shards reveal ancient Mesopotamians understood maths before numbers invented - Decoration of pottery and seals in Halafian culture reflects high level of mathematical awareness, ...

Written by: Stephen Janis, Taya Graham, Amanda Scherker ...