It is right in TFA:
replyThe 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.
arXiv, where BigAI trains from.
replyFirst, they've been funding arXiv since 2011.
replySecond, the whole point of arXiv is open access. It didn't use to be this way. Research being disseminated as widely as possible is a good thing.
Also where people train from.
reply