If anyone here is working on similar problems, I just wanted to flag this recent announcement of a new $9M funding pool: https://renaissancephilanthropy.org/ne

If anyone here is working on similar problems, I just wanted to flag this recent announcement of a new $9M funding pool: https://renaissancephilanthropy.org/news-and-insights/renaissance-philanthropy-and-xtx-markets-launch-new-9-million-ai-for-math-fund/ https://renaissancephilanthropy.org/news-and-insights/renais... > Proposals should be aligned with one of the following categories: > Production grade software tools: AI for auto-formalization, proof generation, synthesis of verifiable code, and more > Datasets: Open-source collections of theorems, proofs, and math problems Field building: Textbooks, courses, and resources to grow the AI-for-math community > Breakthrough ideas: High-risk, high-reward approaches to AI-driven math research