The Annals Challenge

· Xenaproject Wordpress · Aug. 13, 2026, 6:15 p.m.
Machine Learning mathlib Research formalisation AI mathematics Research funding theorems
Summary
The blog post discusses a dataset of 50 Lean statements corresponding to significant mathematical theorems published in the Annals of Mathematics, assembled by a team of post-doctoral researchers funded by a Renaissance Philanthropy grant.
Read full post on xenaproject.wordpress.com →
AUTHOR