AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?

Cognitive overload can create a bottleneck during math lessons, but there are simple strategies to clear up students’ brain space for complex problem-solving.

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.

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