← Back to context

Comment by dannyw

4 days ago

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.