
Launching today: Formal Frontier from the Mathlib Initiative, a program of @RenPhilanthropy and funded by @xtxmarkets. Formal Frontier will focus on responsible, scalable, and open-source AI-driven autoformalization of mathematics. Read more and learn how to get involved: mathlib-initiative.org/formal-frontie…
















