alt Hacker NewsSimons Foundation also significantly funds arXiv, and also a large number of specific grants across maths and sciences. I don't think there's much agenda here.
Simons Foundation also significantly funds arXiv, and also a large number of specific grants across maths and sciences. I don't think there's much agenda here.
It is right in TFA:
The foundation was an early backer of machine learning for science, including funding the development of the Lean proof assistant, which has revolutionized how mathematicians work and made AI-assisted proofs possible. Additionally, the foundation has convened workshops, lectures and collaborations that have brought mathematicians together to explore and discuss AI’s role in the field.