Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

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.

This article presents a way of studying the rationality that mathematics teachers utilize in managing the teaching of theorems in high-school geometry. More generally, the study illustrates how to ...

An AI from Google DeepMind can solve some International Mathematical Olympiad (IMO) questions on geometry almost as well as the best human contestants. How does ChatGPT work and do AI-powered chatbots ...

Watch out, nerdy high schoolers, AlphaGeometry is coming for your mathematical lunch. Credit...Christian Gralingen Supported by By Siobhan Roberts Reported from Stanford, Calif. For four years, the ...

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

The Pizza Theorem shows that if a pizza is cut into an even number of slices from an arbitrary point, alternate pieces still ...

This is an updated version of a story first published on May 5, 2024. For many high school students returning to class, it may seem like geometry and trigonometry were created by the Greeks as a form ...

As I work proofs with my Calculus and Higher Geometries students, I often run across the Greek symbol that, in math, means “there exists." This might show up, for example, in statements such as “there ...

I've written quite a bit about using Linux to help educate people. In the past, I've discussed using Linux to teach astronomy, programming and computer logic design. So today, I'm writing about using ...