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 ...

The currents of the oceans, the roiling surface of the sun, and the clouds of smoke billowing off a forest fire—all are ...

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

Faengsrud founded House of Math in 2006, bootstrapping it from a one-woman tutoring service into a platform with over 2.6 million users.

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 ...

We describe electricity as a flow, but that’s not what happens in a typical wire. Physicists have begun to induce electrons to act like fluids, an effort that could illuminate new ways of thinking ...

One would imagine that an AI capable of solving the hardest Olympiad problems would naturally produce novel scientific ...

AI systems are beginning to produce proof ideas that experts take seriously, even when final acceptance is still pending.

In today’s advanced packages, however, resistance no longer resides primarily inside transistors or neatly bounded test ...

The irregular, swirling motion of fluids we call turbulence can be found everywhere, from stirring in a teacup to currents in the planetary atmosphere. This phenomenon is governed by the Navier-Stokes ...

The uncomfortable truth is that rent regulation cannot function sustainably if it ignores the cost side of the equation.