In at least two cases, the AI tool was “able to construct an original and valid proof” to unsolved conjectures.

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.

Lance Fortnow on the current status and future outlook of solving the P-NP problem.

After years of assigning the kind of homework she had done as a student and observing students’ disengagement with it, a teacher overhauled how she assigns math practice.

Bowdoin’s R. Wells Johnson Professor of Mathematics Mary Lou Zeeman is visiting Hawai’i to take part in a number of events ...

For some, doing math in school was the worst punishment they could think of. For others, it was like snapping their fingers. This post is dedicated to the latter, the mathematicians who like to spend ...

The team used an AI method known as equation discovery to develop a model to simulate the interactions between small eddies—circular, vortex-like currents—and large-scale ones. These interactions are ...

Xingjie Ni, associate professor of electrical engineering at Penn State, and his team recently developed a new device that ...

Ahead of Valentine’s Day, Robinson unveiled a new set of equations that translate romantic phrases and symbols into mathematics. To create them, he drew on disciplines ranging from trigonometry and ...

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new ...

Published in Nature, the study details the first large-scale demonstration of a photonic Ising machine operating without the ...

The method has two main features: it evaluates how AI models reason through problems instead of just checking whether their final answers are correct, and it evaluates the quality of training data so ...