researchsimonsfoundation.org
•1 min
Simons Foundation Launches $15M Initiative to Bridge Pure Mathematics and Frontier AI
The Simons Foundation has announced a $15M program in partnership with OpenAI to equip theoretical mathematicians with interactive formal verification tools and reasoning model infrastructure.
Read full article→#Simons Foundation