| ▲ | dannyw 5 hours 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. | ||||||||||||||
| ▲ | 239ajsz 4 hours ago | parent | next [-] | |||||||||||||
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. | ||||||||||||||
| ▲ | qwe1897 5 hours ago | parent | prev [-] | |||||||||||||
arXiv, where BigAI trains from. | ||||||||||||||
| ||||||||||||||