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

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 probably the most prestigious competition for preuniversity students. Every year students from around the world compete for its coveted bronze, silver ...

A few weeks ago, an animated discussion unfolded in a WhatsApp group whose members are mathematicians interested in the Indian Mathematical Olympiad. The spark was a Nature paper that announced a ...