Simons Foundation, OpenAI, and Anthropic launch $15M math AI initiative | HACKOBAR_