A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.

These are math’s most famous open questions. Solve one, and you’ll win a $1-million prize—but it’s only happened once since ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

I ran ColPack (DISTANCE_ONE) on some of the publicly available data sets for comparison. The results are in the following table. On all of the instances, our algorithm is as good or better than the ...

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.

Abstract: Math word problems (MWPs) are a vital type of exercise that greatly enhances students' mathematical proficiency and problem-solving abilities. This paper aims to explore the challenging task ...

Add a description, image, and links to the maths-quiz-game topic page so that developers can more easily learn about it.