> 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
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