The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from ...

Mathematicians from the California Institute of Technology have solved an old problem related to a mathematical process called a random walk.

Abstract: We present a multi-way parallel corpus of Math Word Problems (MWPs) in nine languages, including six low-resource languages. To date, this is the largest multilingual MWP dataset available.

LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

Abstract: In the realm of natural language processing, large language models (LLMs) have demonstrated superb performance in human-level reasoning and text generation, which has inspired a large number ...