Machine Learning Street Talk · Monday, October 26, 2026
Researchers translated statements of 50 theorems from the Annals of Mathematics into formal language and used AI checking to uncover translation errors and underlying false statements in published works by Fields medalists.
“So we wrote down statements of 50 theorems from this top pure maths journal, the Annals of Mathematics. And we're going to make them public this week. But before we made them public, we ran them through an AI.”
“We found four Fields medalists have actually proved theorems in the annals of mathematics, and if you actually read the statement of the theorem, then strictly speaking, That theorem is not true.”