OpenAI has pledged $5 million to a new Simons Foundation program dedicated to verifying and extending AI-generated mathematical research. The donation will fund workshops, academic conferences, and special programs aimed at helping mathematicians understand and validate results produced by artificial intelligence systems, including recent findings released by OpenAI itself. In addition to financial support, OpenAI will provide model access and computing resources to researchers backed by the Simons Foundation. This collaboration aims to advance AI technology into deeper mathematical understanding and facilitate new discoveries through rigorous academic verification of machine-generated outputs.